Rtos code cntains bug possible incompatability with I2C

Fork of mbed-rtos by mbed official

Revision:
70:3295e347fd88
Parent:
59:28712e303960
Child:
72:83895f30f8f2
--- a/rtx/TARGET_CORTEX_M/rt_CMSIS.c	Tue Mar 31 16:15:17 2015 +0100
+++ b/rtx/TARGET_CORTEX_M/rt_CMSIS.c	Wed Apr 08 07:30:42 2015 +0100
@@ -1862,6 +1862,10 @@
   return osMessagePut(*((void **)queue_id), (uint32_t)mail, 0);
 }
 
+#ifdef __arm__
+#pragma push
+#pragma Ospace
+#endif // __arm__
 /// Get a mail from a queue
 os_InRegs osEvent osMailGet (osMailQId queue_id, uint32_t millisec) {
   osEvent ret;
@@ -1876,3 +1880,6 @@
 
   return ret;
 }
+#ifdef __arm__
+#pragma pop
+#endif // __arm__