Searched refs:Efi (Results 1 - 9 of 9) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/BaseTools/Source/C/Include/IndustryStandard/
H A DEfiPci.h53 EFI_PCI_EXPANSION_ROM_HEADER *Efi; member in union:__anon10142
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/SocketDxe/
H A DSocket.h18 #include <Efi/EfiSocketLib.h>
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/BsdSocketLib/
H A DSocketInternals.h28 #include <Efi/SysEfi.h>
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/LibC/Uefi/
H A DXform.c21 #include <Efi/SysEfi.h>
H A DSysCalls.c35 #include <Efi/SysEfi.h>
/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/IndustryStandard/
H A DPci22.h809 EFI_PCI_EXPANSION_ROM_HEADER *Efi; member in union:__anon11715
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/EfiSocketLib/
H A DSocket.h17 #include <Efi/EfiSocketLib.h>
/vbox/src/VBox/Devices/PC/ipxe/src/include/ipxe/efi/IndustryStandard/
H A DPci22.h811 EFI_PCI_EXPANSION_ROM_HEADER *Efi; member in union:__anon15520
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/LibC/Uefi/Devices/UefiShell/
H A DdaShell.c38 #include <Efi/SysEfi.h>

Completed in 723 milliseconds