diff --git a/arch/i386/kernel/reboot.c b/arch/i386/kernel/reboot.c index 1049876702aa33c0d63de40b12a0dc3ce048ac95..c71fef31dc4797d891f10c5d8d257bbf11d73df7 100644 --- a/arch/i386/kernel/reboot.c +++ b/arch/i386/kernel/reboot.c @@ -347,10 +347,8 @@ void machine_halt(void) void machine_power_off(void) { - lapic_shutdown(); + machine_shutdown(); - if (efi_enabled) - efi.reset_system(EFI_RESET_SHUTDOWN, EFI_SUCCESS, 0, NULL); if (pm_power_off) pm_power_off(); }