Official mbed Real Time Operating System based on the RTX implementation of the CMSIS-RTOS API open standard.
Dependents: Assignment_3__Embedded_Software
Fork of mbed-rtos by
Diff: rtos/Mutex.h
- Revision:
- 92:bc9729798a19
- Parent:
- 31:015df9e602b6
- Child:
- 112:53ace74b190c
--- a/rtos/Mutex.h Wed Sep 16 11:15:38 2015 +0100 +++ b/rtos/Mutex.h Fri Sep 25 13:30:34 2015 +0100 @@ -57,8 +57,12 @@ osMutexId _osMutexId; osMutexDef_t _osMutexDef; #ifdef CMSIS_OS_RTX +#ifdef __MBED_CMSIS_RTOS_CA9 + int32_t _mutex_data[4]; +#else int32_t _mutex_data[3]; #endif +#endif }; }