Symbol: efi_runtime_cookie
sys/arch/x86/x86/efi_machdep.c
824
efi_runtime_enter(struct efi_runtime_cookie *cookie)
sys/arch/x86/x86/efi_machdep.c
865
efi_runtime_exit(struct efi_runtime_cookie *cookie)
sys/arch/x86/x86/efi_machdep.c
882
struct efi_runtime_cookie cookie;
sys/arch/x86/x86/efi_machdep.c
903
struct efi_runtime_cookie cookie;
sys/arch/x86/x86/efi_machdep.c
925
struct efi_runtime_cookie cookie;
sys/arch/x86/x86/efi_machdep.c
947
struct efi_runtime_cookie cookie;
sys/arch/x86/x86/efi_machdep.c
969
struct efi_runtime_cookie cookie;