Searched refs:efi_reserve_boot_services (Results 1 – 3 of 3) sorted by relevance
358 extern void efi_reserve_boot_services(void);372 static inline void efi_reserve_boot_services(void) in efi_reserve_boot_services() function
316 void __init efi_reserve_boot_services(void) in efi_reserve_boot_services() function
1088 efi_reserve_boot_services(); in setup_arch()