efi_free_boot_services  142 arch/x86/include/asm/efi.h extern void efi_free_boot_services(void);
efi_free_boot_services 1017 arch/x86/platform/efi/efi.c 	efi_free_boot_services();