[efi] Update to current EDK2 headers
authorMichael Brown <mcb30@ipxe.org>
Wed, 15 Oct 2014 13:45:17 +0000 (14:45 +0100)
committerMichael Brown <mcb30@ipxe.org>
Thu, 16 Oct 2014 13:12:42 +0000 (14:12 +0100)
commit318b5fca1a0602389b090785aada7783794076ab
tree97a2f7fad586e499339c95db8a681266b06ab008
parentb9a5ff2b03b7354c9fafdca7e0e6c9b3da151f1c
[efi] Update to current EDK2 headers

Signed-off-by: Michael Brown <mcb30@ipxe.org>
src/include/ipxe/efi/Base.h
src/include/ipxe/efi/Ia32/ProcessorBind.h
src/include/ipxe/efi/IndustryStandard/Pci22.h
src/include/ipxe/efi/X64/ProcessorBind.h
src/include/ipxe/efi/import.pl