if (!reboot_force) { machine_shutdown(); } 
void machine_power_off(void){	if (pm_power_off)		pm_power_off();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0963aba54aa26c89114dca7257acf8c938bfec8a/reboot.c/buggy/arch/x86_64/kernel/reboot.c