if (efi_enabled) efi.reset_system(EFI_RESET_SHUTDOWN, EFI_SUCCESS, 0, NULL); 
void machine_power_off(void){	lapic_shutdown();	if (efi_enabled)		efi.reset_system(EFI_RESET_SHUTDOWN, EFI_SUCCESS, 0, NULL);	if (pm_power_off)		pm_power_off();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/4fa2564a6fde9815df969ef3547744a22f66ba9d/reboot.c/buggy/arch/i386/kernel/reboot.c