Vladimir Serbinenko 6dc3337774 Fix definition of grub_efi_hard_drive_device_path. Take care that ... existing code would work even if by some reason bogus definition is used by EFI implementations.		2013-12-14 22:04:02 +01:00
..
efidisk.c	Fix definition of grub_efi_hard_drive_device_path. Take care that	2013-12-14 22:04:02 +01:00