efi_tpl
efi_status (*CreateEvent) (uint32_t type, efi_tpl notify_tpl,
efi_status (*CreateEventEx) (uint32_t type, efi_tpl notify_tpl,
efi_tpl (*RaiseTPL) (efi_tpl new_tpl) EFIAPI;
void (*RestoreTPL) (efi_tpl old_tpl) EFIAPI;