non blocking queue

Fork of mbed-rtos by mbed official

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
 };
 
 }