SparkFun Electronics / mbed-rtos

Fork of the mbed-rtos library by mbed.

Dependents:   internet_clock 4180_Final_Project 4180_Final_Project_WaveProblems 4180_Final_Project ... more

Fork of mbed-rtos by mbed official

Diff: rtos/Mutex.h

Revision:
92:bc9729798a19
Parent:
31:015df9e602b6
--- 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
 };
 
 }