Move grub_reboot out of the kernel.

* grub-core/Makefile.core.def (reboot): Add platform-specific files.
	* grub-core/kern/efi/efi.c (grub_reboot): Moved to ...
	* grub-core/lib/efi/reboot.c: ... here.
	* grub-core/kern/i386/efi/startup.S: Remove including of realmode.S.
	* grub-core/kern/i386/ieee1275/startup.S: Likewise.
	* grub-core/kern/i386/pc/startup.S (grub_exit): Inline cold_reboot.
	* grub-core/kern/i386/realmode.S (grub_reboot): Moved to...
	* grub-core/lib/i386/reboot_trampoline.S: ... here.
	* grub-core/kern/ieee1275/openfw.c (grub_reboot): Moved to...
	* grub-core/lib/ieee1275/reboot.c: ... here.
	* grub-core/kern/mips/arc/init.c (grub_reboot): Moved to...
	* grub-core/lib/mips/arc/reboot.c: ... here.
	* grub-core/kern/mips/loongson/init.c (grub_reboot): Moved to...
	* grub-core/lib/mips/loongson/reboot.c: ...here.
	* grub-core/kern/mips/qemu_mips/init.c (grub_reboot): Moved to...
	* grub-core/lib/mips/qemu_mips/reboot.c: ... here.
	* include/grub/emu/misc.h (grub_reboot): New function declaration.
	* include/grub/i386/reboot.h: New file.
	* include/grub/mips/loongson/ec.h: Fix includes.
	* include/grub/mips/qemu_mips/kernel.h (grub_reboot): Removed.
	* include/grub/misc.h (grub_reboot): Don't mark as kernel function.
	* grub-core/lib/i386/reboot.c: New file.

grub-core/kern/efi/efi.c

@@ -163,18 +163,6 @@ grub_exit (void)
   for (;;) ;
 }
 
-/* On i386, a firmware-independant grub_reboot() is provided by realmode.S.  */
-#ifndef __i386__
-void
-grub_reboot (void)
-{
-  grub_efi_fini ();
-  efi_call_4 (grub_efi_system_table->runtime_services->reset_system,
-              GRUB_EFI_RESET_COLD, GRUB_EFI_SUCCESS, 0, NULL);
-  for (;;) ;
-}
-#endif
-
 grub_err_t
 grub_efi_set_virtual_address_map (grub_efi_uintn_t memory_map_size,
 				  grub_efi_uintn_t descriptor_size,

grub-core/kern/i386/efi/startup.S

@@ -51,5 +51,3 @@ codestart:
 	movl	%eax, EXT_C(grub_efi_system_table)
 	call	EXT_C(grub_main)
 	ret
-
-#include "../realmode.S"

grub-core/kern/i386/ieee1275/startup.S

@@ -39,9 +39,3 @@ _start:
 	movl %eax, EXT_C(grub_ieee1275_entry_fn)
 	jmp EXT_C(grub_main)
 
-/*
- *  prot_to_real and associated structures (but NOT real_to_prot, that is
- *  only needed for BIOS gates).
- */
-#include "../realmode.S"
-

grub-core/kern/i386/pc/startup.S

@@ -465,7 +465,10 @@ FUNCTION(grub_exit)
 	.code16
 	/* Tell the BIOS a boot failure. If this does not work, reboot.  */
 	int	$0x18
-	jmp	cold_reboot
+	/* set 0x472 to 0x0000 for cold boot (0x1234 for warm boot) */
+	movw	$0x0472, %di
+	movw	%ax, (%di)
+	ljmp	$0xf000, $0xfff0
 	.code32
 
 /*

grub-core/kern/i386/realmode.S

@@ -225,18 +225,3 @@ realcseg:
 	DATA32	ret
 
 	.code32
-
-/*
- * grub_reboot()
- *
- * Reboot the system. At the moment, rely on BIOS.
- */
-FUNCTION(grub_reboot)
-	call	prot_to_real
-	.code16
-cold_reboot:
-	/* set 0x472 to 0x0000 for cold boot (0x1234 for warm boot) */
-	movw	$0x0472, %di
-	movw	%ax, (%di)
-	ljmp	$0xf000, $0xfff0
-	.code32

grub-core/kern/ieee1275/openfw.c

@@ -456,16 +456,6 @@ grub_ieee1275_encode_devname (const char *path)
   return encoding;
 }
 
-/* On i386, a firmware-independant grub_reboot() is provided by realmode.S.  */
-#ifndef __i386__
-void
-grub_reboot (void)
-{
-  grub_ieee1275_interpret ("reset-all", 0);
-  for (;;) ;
-}
-#endif
-
 /* Resolve aliases.  */
 char *
 grub_ieee1275_canonicalise_devname (const char *path)

grub-core/kern/mips/arc/init.c

@@ -195,15 +195,3 @@ grub_exit (void)
   while (1);
 }
 
-void
-grub_reboot (void)
-{
-  GRUB_ARC_FIRMWARE_VECTOR->restart ();
-
-  grub_millisleep (1500);
-
-  grub_printf ("Reboot failed\n");
-  grub_refresh ();
-  while (1);
-}
-

grub-core/kern/mips/loongson/init.c

@@ -30,7 +30,6 @@
 #include <grub/mips/loongson.h>
 #include <grub/cs5536.h>
 #include <grub/term.h>
-#include <grub/machine/ec.h>
 #include <grub/cpu/memory.h>
 
 extern void grub_video_sm712_init (void);
@@ -266,37 +265,6 @@ grub_exit (void)
   grub_halt ();
 }
 
-void
-grub_reboot (void)
-{
-  switch (grub_arch_machine)
-    {
-    case GRUB_ARCH_MACHINE_FULOONG2E:
-      grub_outb (grub_inb (0xbfe00104) & ~4, 0xbfe00104);
-      grub_outb (grub_inb (0xbfe00104) | 4, 0xbfe00104);
-      break;
-    case GRUB_ARCH_MACHINE_FULOONG2F:
-      {
-	grub_pci_device_t dev;
-	if (!grub_cs5536_find (&dev))
-	  break;
-	grub_cs5536_write_msr (dev, GRUB_CS5536_MSR_DIVIL_RESET,
-			       grub_cs5536_read_msr (dev,
-						     GRUB_CS5536_MSR_DIVIL_RESET) 
-			       | 1);
-	break;
-      }
-    case GRUB_ARCH_MACHINE_YEELOONG:
-      grub_write_ec (GRUB_MACHINE_EC_COMMAND_REBOOT);
-      break;
-    }
-  grub_millisleep (1500);
-
-  grub_printf ("Reboot failed\n");
-  grub_refresh ();
-  while (1);
-}
-
 extern char _end[];
 grub_addr_t grub_modbase = (grub_addr_t) _end;
 

grub-core/kern/mips/qemu_mips/init.c

@@ -99,12 +99,6 @@ grub_halt (void)
   while (1);
 }
 
-void
-grub_reboot (void)
-{
-  while (1);
-}
-
 grub_err_t 
 grub_machine_mmap_iterate (grub_memory_hook_t hook)
 {