diff --git a/util/grub-emu.c b/util/grub-emu.c index debf53b1d..7d4544509 100644 --- a/util/grub-emu.c +++ b/util/grub-emu.c @@ -63,11 +63,6 @@ grub_arch_dl_check_header (void *ehdr) return GRUB_ERR_BAD_MODULE; } -void grub_hostfs_init (void); -void grub_hostfs_fini (void); -void grub_host_init (void); -void grub_host_fini (void); - grub_err_t grub_arch_dl_relocate_symbols (grub_dl_t mod, void *ehdr) { @@ -80,14 +75,7 @@ grub_arch_dl_relocate_symbols (grub_dl_t mod, void *ehdr) void grub_reboot (void) { - grub_fini_all (); - grub_hostfs_fini (); - grub_host_fini (); - - grub_machine_fini (); - - exit (0); - // longjmp (main_env, 1); + longjmp (main_env, 1); } void @@ -158,6 +146,11 @@ usage (int status) } +void grub_hostfs_init (void); +void grub_hostfs_fini (void); +void grub_host_init (void); +void grub_host_fini (void); + int main (int argc, char *argv[]) {