efi_reserve_boot_services
static inline void efi_reserve_boot_services(void)
void __init efi_reserve_boot_services(void)