void grub_ofdisk_init (void) { grub_disk_firmware_fini = grub_ofdisk_fini; insert_bootpath (); grub_disk_dev_register (&grub_ofdisk_dev); }
void grub_ofdisk_init (void) { grub_disk_dev_register (&grub_ofdisk_dev); }
void grub_util_biosdisk_init (const char *dev_map) { read_device_map (dev_map); grub_disk_dev_register (&grub_util_biosdisk_dev); }