/src/include/ipxe/efi/IndustryStandard/

• ../
• Acpi10.h
• Acpi20.h
• Acpi30.h
• Acpi40.h
• Acpi50.h
• Acpi51.h
• Acpi60.h
• AcpiAml.h
• Bluetooth.h
• Pci22.h
• PeImage.h
• Tpm12.h
• Tpm20.h
• UefiTcgPlatform.h
• Usb.h