Searched refs:efi_free_boot_services (Results 1 – 3 of 3) sorted by relevance
172 void __init efi_free_boot_services(void) in efi_free_boot_services() function
886 extern void efi_free_boot_services(void);891 static inline void efi_free_boot_services(void) {} in efi_free_boot_services() function
677 efi_free_boot_services(); in start_kernel()