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

Dependents:   Assignment_3__Embedded_Software

Fork of mbed-rtos by mbed official

Revision:
112:53ace74b190c
Parent:
31:015df9e602b6
Child:
119:19af2d39a542
--- a/rtos/RtosTimer.h	Tue May 03 00:15:52 2016 +0100
+++ b/rtos/RtosTimer.h	Thu May 05 20:45:13 2016 +0100
@@ -61,8 +61,10 @@
 private:
     osTimerId _timer_id;
     osTimerDef_t _timer;
-#ifdef CMSIS_OS_RTX
+#if defined(CMSIS_OS_RTX) && !defined(__MBED_CMSIS_RTOS_CM)
     uint32_t _timer_data[5];
+#else
+    uint32_t _timer_data[6];
 #endif
 };