Remove stale grub_reboot

This commit is contained in:
Vladimir Serbinenko committed 2013-10-25 17:54:39 +02:00
1 parent 69fbf6a348
commit e2977a3d68
1 file changed
-6
-6
View File
@@ -180,12 +180,6 @@ grub_exit (void)
while (1);
}
void
grub_reboot (void)
{
while (1);
}
grub_err_t
grub_machine_mmap_iterate (grub_memory_hook_t hook, void *hook_data)
{