92 static void nmi_cpu_start(void *dummy)  in nmi_cpu_start()  argument
112 static void nmi_cpu_stop(void *dummy)  in nmi_cpu_stop()  argument
226 static void nmi_cpu_switch(void *dummy)  in nmi_cpu_switch()  argument
342 static void nmi_cpu_setup(void *dummy)  in nmi_cpu_setup()  argument
372 static void nmi_cpu_shutdown(void *dummy)  in nmi_cpu_shutdown()  argument
390 static void nmi_cpu_up(void *dummy)  in nmi_cpu_up()  argument
393 		nmi_cpu_setup(dummy);  in nmi_cpu_up()
395 		nmi_cpu_start(dummy);  in nmi_cpu_up()
398 static void nmi_cpu_down(void *dummy)  in nmi_cpu_down()  argument
401 		nmi_cpu_stop(dummy);  in nmi_cpu_down()
403 		nmi_cpu_shutdown(dummy);  in nmi_cpu_down()