[efi] Update to current EDK2 headers
authorMichael Brown <mcb30@ipxe.org>
Tue, 6 Oct 2015 17:44:21 +0000 (18:44 +0100)
committerMichael Brown <mcb30@ipxe.org>
Wed, 7 Oct 2015 07:34:27 +0000 (08:34 +0100)
commit42e0c7e956609be4adebd61250a7271a6838d70e
tree01cccfde68eaa313e3048619ea24f238c0939f0b
parent1880691774f276acad0cce76a555cdeb80422a28
[efi] Update to current EDK2 headers

Signed-off-by: Michael Brown <mcb30@ipxe.org>
28 files changed:
src/include/ipxe/efi/Base.h
src/include/ipxe/efi/Guid/SmBios.h
src/include/ipxe/efi/Ia32/ProcessorBind.h
src/include/ipxe/efi/IndustryStandard/Acpi20.h [new file with mode: 0644]
src/include/ipxe/efi/IndustryStandard/Acpi30.h [new file with mode: 0644]
src/include/ipxe/efi/IndustryStandard/Acpi40.h [new file with mode: 0644]
src/include/ipxe/efi/IndustryStandard/Acpi50.h [new file with mode: 0644]
src/include/ipxe/efi/IndustryStandard/Acpi51.h [new file with mode: 0644]
src/include/ipxe/efi/IndustryStandard/Acpi60.h [new file with mode: 0644]
src/include/ipxe/efi/IndustryStandard/Bluetooth.h [new file with mode: 0644]
src/include/ipxe/efi/IndustryStandard/Pci22.h
src/include/ipxe/efi/IndustryStandard/Tpm20.h [new file with mode: 0644]
src/include/ipxe/efi/IndustryStandard/UefiTcgPlatform.h
src/include/ipxe/efi/IndustryStandard/Usb.h
src/include/ipxe/efi/Library/BaseLib.h
src/include/ipxe/efi/Pi/PiDxeCis.h
src/include/ipxe/efi/Pi/PiFirmwareFile.h
src/include/ipxe/efi/Pi/PiHob.h
src/include/ipxe/efi/Pi/PiMultiPhase.h
src/include/ipxe/efi/Protocol/DevicePath.h
src/include/ipxe/efi/Protocol/FormBrowser2.h
src/include/ipxe/efi/Protocol/SimpleTextOut.h
src/include/ipxe/efi/Protocol/TcgService.h
src/include/ipxe/efi/Protocol/Usb2HostController.h
src/include/ipxe/efi/Uefi/UefiInternalFormRepresentation.h
src/include/ipxe/efi/Uefi/UefiMultiPhase.h
src/include/ipxe/efi/Uefi/UefiSpec.h
src/include/ipxe/efi/X64/ProcessorBind.h