aboutsummaryrefslogtreecommitdiffstats
path: root/src/include/ipxe/efi/Arm
diff options
context:
space:
mode:
authorMichael Brown <mcb30@ipxe.org>2016-10-16 16:32:49 +0100
committerMichael Brown <mcb30@ipxe.org>2016-10-16 17:08:02 +0100
commitf796d5b6b63d3b986996458b4dbed4679e1abb3a (patch)
tree8891c0d73d116f2a5ea97be4bb4f4310d13add74 /src/include/ipxe/efi/Arm
parent54dcfed3759c53526c10744e3d7cf095db0ffcaa (diff)
downloadipxe-f796d5b6b63d3b986996458b4dbed4679e1abb3a.tar.gz
[efi] Update to current EDK2 headers
Signed-off-by: Michael Brown <mcb30@ipxe.org>
Diffstat (limited to 'src/include/ipxe/efi/Arm')
-rw-r--r--src/include/ipxe/efi/Arm/ProcessorBind.h9
1 files changed, 8 insertions, 1 deletions
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;