Symbol: efi_tpl
sys/arch/x86/include/efi.h
142
efi_status (*bs_createeventex)(uint32_t, efi_tpl,
sys/arch/x86/include/efi.h
77
efi_tpl (*bs_raisetpl)(efi_tpl);
sys/arch/x86/include/efi.h
78
void (*bs_restoretpl)(efi_tpl);
sys/arch/x86/include/efi.h
86
efi_status (*bs_createevent)(uint32_t, efi_tpl, efi_event_notify,