machine_halt      510 arch/x86/kernel/reboot.c void machine_halt(void)
machine_halt      307 arch/x86/mach-voyager/voyager_basic.c void machine_halt(void)