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