Vladimir 'phcoder' Serbinenko e75fdee420 * grub-core/kern/efi/mm.c (grub_efi_finish_boot_services): ... Try terminating EFI services several times due to quirks in some implementations.		2013-03-26 11:34:56 +01:00
..
efi.c
init.c
mm.c	* grub-core/kern/efi/mm.c (grub_efi_finish_boot_services):	2013-03-26 11:34:56 +01:00