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_A/rt_CMSIS.c
- Revision:
- 70:3295e347fd88
- Parent:
- 68:d3d0e710b443
- Child:
- 72:83895f30f8f2
--- a/rtx/TARGET_CORTEX_A/rt_CMSIS.c Tue Mar 31 16:15:17 2015 +0100 +++ b/rtx/TARGET_CORTEX_A/rt_CMSIS.c Wed Apr 08 07:30:42 2015 +0100 @@ -2066,6 +2066,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; @@ -2080,3 +2084,6 @@ return ret; } +#ifdef __arm__ +#pragma pop +#endif // __arm__