[efi] Update to current EDK2 headers
authorMichael Brown <mcb30@ipxe.org>
Sun, 13 Mar 2016 11:47:30 +0000 (11:47 +0000)
committerMichael Brown <mcb30@ipxe.org>
Sun, 13 Mar 2016 11:47:30 +0000 (11:47 +0000)
commit24415a3eeefbdeb59c947363b1ab2b3796616092
tree4f0f1ed8296e37eeea4494b171e74b16a4cb2fc2
parent0d29cf2a4da86f65f74f94695c98bd175f897db5
[efi] Update to current EDK2 headers

Signed-off-by: Michael Brown <mcb30@ipxe.org>
13 files changed:
src/include/ipxe/efi/Base.h
src/include/ipxe/efi/Ia32/ProcessorBind.h
src/include/ipxe/efi/IndustryStandard/Acpi51.h
src/include/ipxe/efi/IndustryStandard/Acpi60.h
src/include/ipxe/efi/IndustryStandard/Tpm20.h
src/include/ipxe/efi/Protocol/HiiConfigAccess.h
src/include/ipxe/efi/Protocol/LoadFile.h
src/include/ipxe/efi/Protocol/SerialIo.h
src/include/ipxe/efi/Protocol/SimpleNetwork.h
src/include/ipxe/efi/Uefi/UefiBaseType.h
src/include/ipxe/efi/Uefi/UefiPxe.h
src/include/ipxe/efi/Uefi/UefiSpec.h
src/include/ipxe/efi/X64/ProcessorBind.h