fork

Revision:
112:53ace74b190c
Parent:
92:bc9729798a19
Child:
123:58563e6cba1e
diff -r 162b12aea5f2 -r 53ace74b190c rtos/Mutex.h
--- 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];