fork
Diff: rtos/Mutex.h
- Revision:
- 112:53ace74b190c
- Parent:
- 92:bc9729798a19
- Child:
- 123:58563e6cba1e
--- a/rtos/Mutex.h Tue May 03 00:15:52 2016 +0100 +++ b/rtos/Mutex.h Thu May 05 20:45:13 2016 +0100 @@ -57,7 +57,7 @@ osMutexId _osMutexId; osMutexDef_t _osMutexDef; #ifdef CMSIS_OS_RTX -#ifdef __MBED_CMSIS_RTOS_CA9 +#if defined(__MBED_CMSIS_RTOS_CA9) || defined(__MBED_CMSIS_RTOS_CM) int32_t _mutex_data[4]; #else int32_t _mutex_data[3];