Fix grub_machine_fini bitrot.

Reported by: Glenn Washburn.
This commit is contained in:
Vladimir Serbinenko 2013-11-10 13:33:26 +01:00
parent c61471fc8b
commit 33690255c5
8 changed files with 16 additions and 7 deletions

View file

@ -25,7 +25,7 @@
void
grub_reboot (void)
{
grub_machine_fini ();
grub_machine_fini (GRUB_LOADER_FLAG_NORETURN);
efi_call_4 (grub_efi_system_table->runtime_services->reset_system,
GRUB_EFI_RESET_COLD, GRUB_EFI_SUCCESS, 0, NULL);
for (;;) ;