diff --git a/grub-core/kern/emu/main.c b/grub-core/kern/emu/main.c
index 4b50913..221aa12 100644
--- a/grub-core/kern/emu/main.c
+++ b/grub-core/kern/emu/main.c
@@ -66,6 +66,12 @@ grub_reboot (void)
 }
 
 void
+grub_exit (void)
+{
+  grub_reboot ();
+}
+
+void
 grub_machine_init (void)
 {
 }
diff --git a/grub-core/kern/emu/misc.c b/grub-core/kern/emu/misc.c
index bb606da..9353fa7 100644
--- a/grub-core/kern/emu/misc.c
+++ b/grub-core/kern/emu/misc.c
@@ -134,11 +134,13 @@ xasprintf (const char *fmt, ...)
 }
 #endif
 
+#if !defined (GRUB_MACHINE_EMU) || defined (GRUB_UTIL)
 void
 grub_exit (void)
 {
   exit (1);
 }
+#endif
 
 grub_uint64_t
 grub_get_time_ms (void)