efi_reserve_boot_services 143 arch/x86/include/asm/efi.h extern void efi_reserve_boot_services(void); efi_reserve_boot_services 1134 arch/x86/kernel/setup.c efi_reserve_boot_services();