Searched refs:grub_disk_biosdisk_fini (Results 1 - 1 of 1) sorted by relevance
| /osnet-11/usr/src/grub/grub2/grub-core/disk/i386/pc/ | ||
| H A D | biosdisk.c | 617 grub_disk_biosdisk_fini (void) function 633 grub_disk_firmware_fini = grub_disk_biosdisk_fini; 654 grub_disk_biosdisk_fini (); |
Completed in 15 milliseconds