grub/grub-core/disk/efi
2015-01-24 19:53:13 +01:00
..
efidisk.c efidisk: Return the determined root disk even if partition is unknown. 2015-01-24 19:53:13 +01:00