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();