Home
last modified time | relevance | path

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

/system/private/efi/
A Dboot-services.h14 typedef size_t efi_tpl; typedef
88 efi_tpl (*RaiseTPL) (efi_tpl new_tpl) EFIAPI;
90 void (*RestoreTPL) (efi_tpl old_tpl) EFIAPI;
104 efi_status (*CreateEvent) (uint32_t type, efi_tpl notify_tpl,
202 efi_status (*CreateEventEx) (uint32_t type, efi_tpl notify_tpl,

Completed in 3 milliseconds