smp_intercpu_interrupt_handler
int smp_intercpu_interrupt_handler(int32 cpu);
smp_intercpu_interrupt_handler(smp_get_current_cpu());
smp_intercpu_interrupt_handler(smp_get_current_cpu());
return smp_intercpu_interrupt_handler(cpu);
smp_intercpu_interrupt_handler(cpu);
smp_intercpu_interrupt_handler(cpu);