machine_power_off  490 arch/x86/kernel/reboot.c void machine_power_off(void)
machine_power_off  313 arch/x86/mach-voyager/voyager_basic.c void machine_power_off(void)