#ifdef __ICCARM__\r
#include "stm32l1xx_tim.h"\r
extern void vConfigureTimerForRunTimeStats( void );\r
+ unsigned long ulGetRunTimeStatsCounterValue( void );\r
extern unsigned long ulTIM6_OverflowCount;\r
#endif /* __ICCARM__ */\r
\r
#define portCONFIGURE_TIMER_FOR_RUN_TIME_STATS() vConfigureTimerForRunTimeStats()\r
-#define portGET_RUN_TIME_COUNTER_VALUE() ( ( ulTIM6_OverflowCount << 16UL ) | ( unsigned long ) TIM6->CNT )\r
+#define portGET_RUN_TIME_COUNTER_VALUE() ulGetRunTimeStatsCounterValue()\r
\r
\r
#endif /* FREERTOS_CONFIG_H */\r