grub/kern/efi
Colin Watson e03ed6c1ee * include/grub/misc.h (grub_reboot): Declare as noreturn.
* kern/efi/efi.c (grub_reboot): Don't return, even if reset_system
fails.
(grub_halt): Likewise.
* kern/ieee1275/openfw.c (grub_reboot): Don't return, even if
reset-all fails.
(grub_halt): Don't return, even if all of shut-down, power-off, and
poweroff fail.
2010-07-02 13:47:14 +01:00
..
efi.c * include/grub/misc.h (grub_reboot): Declare as noreturn. 2010-07-02 13:47:14 +01:00
init.c * kern/efi/init.c (grub_efi_init): set_watchdog_timer takes four 2010-07-02 13:42:18 +01:00
mm.c * kern/efi/mm.c (grub_efi_mm_init): Handle systems with memory maps 2010-06-21 17:59:51 +01:00