Exemple #1
0
void
grub_efi_fini (void)
{
  grub_efidisk_fini ();
  grub_console_fini ();
  grub_efi_memory_fini ();
}
Exemple #2
0
void
grub_machine_fini (int flags)
{
  if (flags & GRUB_LOADER_FLAG_NORETURN)
    {
      grub_ofdisk_fini ();
      grub_console_fini ();
    }
}
Exemple #3
0
void
grub_machine_fini (void)
{
  grub_console_fini ();
}
Exemple #4
0
void
grub_machine_fini (void)
{
  grub_ofdisk_fini ();
  grub_console_fini ();
}
Exemple #5
0
void
grub_machine_fini (void)
{
  grub_console_fini ();
  grub_stop_floppy ();
}
Exemple #6
0
void
grub_uboot_fini (void)
{
  grub_ubootdisk_fini ();
  grub_console_fini ();
}