mbed library sources. Supersedes mbed-src. RTC working even after reset

Fork of mbed-dev by mbed official

Revision:
147:30b64687e01f
Parent:
144:ef7eb2e8f9f7
diff -r 11f9a9a04805 -r 30b64687e01f common/mbed_critical.c
--- a/common/mbed_critical.c	Thu Sep 08 15:05:30 2016 +0100
+++ b/common/mbed_critical.c	Fri Sep 16 16:24:25 2016 +0100
@@ -86,6 +86,11 @@
 
 #if EXCLUSIVE_ACCESS
 
+/* Supress __ldrex and __strex deprecated warnings - "#3731-D: intrinsic is deprecated" */
+#if defined (__CC_ARM) 
+#pragma diag_suppress 3731
+#endif
+
 bool core_util_atomic_cas_u8(uint8_t *ptr, uint8_t *expectedCurrentValue, uint8_t desiredValue)
 {
     uint8_t currentValue = __LDREXB((volatile uint8_t*)ptr);