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

/vbox/src/VBox/Devices/EFI/Firmware/BaseTools/Source/C/Include/Common/
H A DUefiBaseTypes.h38 typedef UINTN EFI_TPL; typedef
/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Uefi/
H A DUefiBaseType.h43 typedef UINTN EFI_TPL; typedef
/vbox/src/VBox/Devices/PC/ipxe/src/include/ipxe/efi/Uefi/
H A DUefiBaseType.h45 typedef UINTN EFI_TPL; typedef

Completed in 42 milliseconds