void grub_ofdisk_fini (void) { if (last_ihandle) grub_ieee1275_close (last_ihandle); last_ihandle = 0; last_devpath = NULL; grub_disk_dev_unregister (&grub_ofdisk_dev); }
void grub_util_biosdisk_fini (void) { unsigned i; for (i = 0; i < sizeof (map) / sizeof (map[0]); i++) { if (map[i].drive) free (map[i].drive); if (map[i].device) free (map[i].device); map[i].drive = map[i].device = NULL; } grub_disk_dev_unregister (&grub_util_biosdisk_dev); }