/src/include/ipxe/efi/IndustryStandard/

• ../
• Acpi10.h
• AcpiAml.h
• Pci22.h
• PeImage.h
• Tpm12.h
• UefiTcgPlatform.h