Symbol: efi_tpl
headers/private/kernel/platform/efi/boot-services.h
105
efi_status (*CreateEvent) (uint32_t type, efi_tpl notify_tpl,
headers/private/kernel/platform/efi/boot-services.h
203
efi_status (*CreateEventEx) (uint32_t type, efi_tpl notify_tpl,
headers/private/kernel/platform/efi/boot-services.h
89
efi_tpl (*RaiseTPL) (efi_tpl new_tpl) EFIAPI;
headers/private/kernel/platform/efi/boot-services.h
91
void (*RestoreTPL) (efi_tpl old_tpl) EFIAPI;