NMI_IPI_ALL_OTHERS
BUG_ON(cpu < 0 && cpu != NMI_IPI_ALL_OTHERS);
smp_send_nmi_ipi(NMI_IPI_ALL_OTHERS, debugger_ipi_callback, 1000000);
smp_send_nmi_ipi(NMI_IPI_ALL_OTHERS, crash_ipi_callback, 1000000);
smp_send_nmi_ipi(NMI_IPI_ALL_OTHERS, nmi_stop_this_cpu, 1000000);
} else if (cpu == NMI_IPI_ALL_OTHERS) {
if (cpu == NMI_IPI_ALL_OTHERS) {