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

Fork of mbed-rtos by mbed official

Revision:
113:53ace74b190c
Parent:
31:015df9e602b6
--- 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
 };