mbed official / mbed-rtos

Official mbed Real Time Operating System based on the RTX implementation of the CMSIS-RTOS API open standard.

Dependents:   denki-yohou_b TestY201 Network-RTOS NTPClient_HelloWorld ... more

Deprecated

This is the mbed 2 rtos library. mbed OS 5 integrates the mbed library with mbed-rtos. With this, we have provided thread safety for all mbed APIs. If you'd like to learn about using mbed OS 5, please see the docs.

Diff: rtx/TARGET_CORTEX_M/rt_CMSIS.c

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__