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
865 extern void efi_free_boot_services(void);869 static inline void efi_free_boot_services(void) {} in efi_free_boot_services() function
672 efi_free_boot_services(); in start_kernel()