void grub_machine_fini (int flags) { if (flags & GRUB_LOADER_FLAG_NORETURN) { grub_ofdisk_fini (); grub_console_fini (); } }
void grub_machine_fini (void) { grub_ofdisk_fini (); grub_console_fini (); }