apic_send_nmi_to_offline_cpu
void apic_send_nmi_to_offline_cpu(unsigned int cpu);
apic_send_nmi_to_offline_cpu(cpu);