422 static int __init reboot_init(void)  in reboot_init()  argument
447 static inline void kb_wait(void)  in kb_wait()  argument
464 static void emergency_vmx_disable_all(void)  in emergency_vmx_disable_all()  argument
499 void __attribute__((weak)) mach_reboot_fixups(void)  in mach_reboot_fixups()  argument
522 static void native_machine_emergency_restart(void)  in native_machine_emergency_restart()  argument
603 void native_machine_shutdown(void)  in native_machine_shutdown()  argument
657 static void native_machine_halt(void)  in native_machine_halt()  argument
667 static void native_machine_power_off(void)  in native_machine_power_off()  argument
689 void machine_power_off(void)  in machine_power_off()  argument
694 void machine_shutdown(void)  in machine_shutdown()  argument
699 void machine_emergency_restart(void)  in machine_emergency_restart()  argument
709 void machine_halt(void)  in machine_halt()  argument
756 static void smp_send_nmi_allbutself(void)  in smp_send_nmi_allbutself()  argument