* System timer\r
*-----------------------------------------------------------------*/\r
typedef const uint32 OsTickType;\r
+\r
+extern OsTickType OsTickFreq;\r
void Os_SysTickInit( void );\r
void Os_SysTickStart(TickType period_ticks);\r
TickType Os_SysTickGetValue( void );\r