Home
last modified time | relevance | path

Searched defs:EFI_TPL (Results 1 – 4 of 4) sorted by relevance

/external/syslinux/gpxe/src/include/gpxe/efi/Uefi/
DUefiBaseType.h43 typedef UINTN EFI_TPL; typedef
/external/syslinux/gnu-efi/gnu-efi-3.0/inc/
Defidef.h40 typedef UINTN EFI_TPL; typedef
/external/syslinux/efi64/include/efi/
Defidef.h40 typedef UINTN EFI_TPL; typedef
/external/syslinux/efi32/include/efi/
Defidef.h40 typedef UINTN EFI_TPL; typedef