Searched defs:EFI_TPL (Results 1 – 2 of 2) sorted by relevance
/freebsd/sys/contrib/edk2/Include/Uefi/ | ||
H A D | UefiBaseType.h | 40 typedef UINTN EFI_TPL; typedef |
/freebsd/stand/efi/include/ | ||
H A D | efidef.h | 47 typedef UINTN EFI_TPL; typedef |