mbed library sources. Supersedes mbed-src.

Dependents:   BREAK_SENSOR_LED

Fork of mbed-dev by mbed official

Revision:
172:7d866c31b3c5
Parent:
170:19eb464bc2be
--- a/platform/mbed_critical.c	Wed Aug 16 18:27:13 2017 +0100
+++ b/platform/mbed_critical.c	Thu Aug 31 17:27:04 2017 +0100
@@ -23,12 +23,6 @@
 #include "platform/mbed_assert.h"
 #include "platform/mbed_toolchain.h"
 
-#if !defined (__CORTEX_M0) && !defined (__CORTEX_M0PLUS)
-#define EXCLUSIVE_ACCESS 1
-#else
-#define EXCLUSIVE_ACCESS 0
-#endif
-
 static volatile uint32_t interrupt_enable_counter = 0;
 static volatile bool critical_interrupts_disabled = false;
 
@@ -107,7 +101,7 @@
     }
 }
 
-#if EXCLUSIVE_ACCESS
+#if __EXCLUSIVE_ACCESS
 
 /* Supress __ldrex and __strex deprecated warnings - "#3731-D: intrinsic is deprecated" */
 #if defined (__CC_ARM)