Searched refs:efi_reserve_boot_services (Results 1 – 1 of 1) sorted by relevance
380 extern void efi_reserve_boot_services(void);391 static inline void efi_reserve_boot_services(void) in efi_reserve_boot_services() function