[efi] Update to current EDK2 headers
authorMichael Brown <mcb30@ipxe.org>
Fri, 10 Mar 2017 21:18:03 +0000 (21:18 +0000)
committerMichael Brown <mcb30@ipxe.org>
Fri, 10 Mar 2017 21:18:03 +0000 (21:18 +0000)
commit0463ec32c717c10e56b1e0bbecc1b02756df7fcc
treeef06e3bed498c0ac00f47c4a42847f467650f5eb
parentafdebdc163268bfc31d927cdfbbf92ed1aa93a6f
[efi] Update to current EDK2 headers

Signed-off-by: Michael Brown <mcb30@ipxe.org>
14 files changed:
src/include/ipxe/efi/AArch64/ProcessorBind.h
src/include/ipxe/efi/Arm/ProcessorBind.h
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/Pci22.h
src/include/ipxe/efi/IndustryStandard/UefiTcgPlatform.h
src/include/ipxe/efi/Library/BaseLib.h
src/include/ipxe/efi/Protocol/HiiDatabase.h
src/include/ipxe/efi/Protocol/SimpleTextIn.h
src/include/ipxe/efi/Uefi/UefiBaseType.h
src/include/ipxe/efi/X64/ProcessorBind.h
src/include/ipxe/efi/efi.h