static void nmi_cpu_up(void *dummy) { if (nmi_enabled) nmi_cpu_setup(dummy); if (ctr_running) nmi_cpu_start(dummy); }
static int nmi_cpu_online(unsigned int cpu) { local_irq_disable(); if (nmi_enabled) nmi_cpu_setup(); if (ctr_running) nmi_cpu_start(NULL); local_irq_enable(); return 0; }