boot/efi: Sync our TianoCore EDK II headers with the UDK2018 branch.
commitd71cbb2993ebbf5b459e3bba1dac865110ce3eef
authorSascha Wildner <saw@online.de>
Mon, 23 Jul 2018 11:00:23 +0000 (23 13:00 +0200)
committerSascha Wildner <saw@online.de>
Mon, 23 Jul 2018 11:00:23 +0000 (23 13:00 +0200)
treef7c5302f2e6a7ddc94e0b40333266e9a8e49a2f7
parent88fc0f688c71bd9bdaa7df1abbdeb57492b3744e
boot/efi: Sync our TianoCore EDK II headers with the UDK2018 branch.
sys/contrib/edk2/Include/Base.h
sys/contrib/edk2/Include/X64/ProcessorBind.h