From f796d5b6b63d3b986996458b4dbed4679e1abb3a Mon Sep 17 00:00:00 2001 From: Michael Brown Date: Sun, 16 Oct 2016 16:32:49 +0100 Subject: [efi] Update to current EDK2 headers Signed-off-by: Michael Brown --- src/include/ipxe/efi/Arm/ProcessorBind.h | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'src/include/ipxe/efi/Arm') diff --git a/src/include/ipxe/efi/Arm/ProcessorBind.h b/src/include/ipxe/efi/Arm/ProcessorBind.h index 51a727145..fac183237 100644 --- a/src/include/ipxe/efi/Arm/ProcessorBind.h +++ b/src/include/ipxe/efi/Arm/ProcessorBind.h @@ -30,9 +30,16 @@ FILE_LICENCE ( BSD3 ); #pragma pack() #endif +// +// RVCT does not support the __builtin_unreachable() macro +// +#ifdef __ARMCC_VERSION +#define UNREACHABLE() +#endif + #if _MSC_EXTENSIONS // - // use Microsoft* C complier dependent integer width types + // use Microsoft* C compiler dependent integer width types // typedef unsigned __int64 UINT64; typedef __int64 INT64; -- cgit