Searched refs:efi_free_boot_services (Results 1 – 3 of 3) sorted by relevance
154 extern void efi_free_boot_services(void);
399 void __init efi_free_boot_services(void) in efi_free_boot_services() function
832 efi_free_boot_services(); in __efi_enter_virtual_mode()