Home
last modified time | relevance | path

Searched refs:efi_reserve_boot_services (Results 1 – 3 of 3) sorted by relevance

/Linux-v4.19/arch/x86/platform/efi/
Dquirks.c318 void __init efi_reserve_boot_services(void) in efi_reserve_boot_services() function
/Linux-v4.19/arch/x86/kernel/
Dsetup.c1114 efi_reserve_boot_services(); in setup_arch()
/Linux-v4.19/include/linux/
Defi.h1046 extern void efi_reserve_boot_services(void);