z ysaito / mbed-rtos

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

Fork of mbed-rtos by mbed official

Diff: rtos/Mutex.h

Revision:
113:53ace74b190c
Parent:
92:bc9729798a19
Child:
124: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];