static void nmi_cpu_down(void *dummy) { if (ctr_running) nmi_cpu_stop(dummy); if (nmi_enabled) nmi_cpu_shutdown(dummy); }
static int nmi_cpu_down_prep(unsigned int cpu) { local_irq_disable(); if (ctr_running) nmi_cpu_stop(NULL); if (nmi_enabled) nmi_cpu_shutdown(); local_irq_enable(); return 0; }