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