Searched refs:efi_free_boot_services (Results 1 – 3 of 3) sorted by relevance
372 void __init efi_free_boot_services(void) in efi_free_boot_services() function
1001 extern void efi_free_boot_services(void);1007 static inline void efi_free_boot_services(void) {} in efi_free_boot_services() function
735 efi_free_boot_services(); in start_kernel()
