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

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

Completed in 186 milliseconds