mdot_rtos

Fork of mbed-rtos by mbed official

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