arch_int_assign_to_cpu
int32 arch_int_assign_to_cpu(int32 irq, int32 cpu);
cpuID = arch_int_assign_to_cpu(vector, cpuID);
newCPU = arch_int_assign_to_cpu(vector, newCPU);