msi_assign_interrupt_to_cpu
void msi_assign_interrupt_to_cpu(uint32 irq, int32 cpu);
msi_assign_interrupt_to_cpu(irq, cpu);