osKernelGetTickCount

osKernelGetTickCount函数是CMSIS-RTOS RTX实现的函数，用于获取当前系统的滴答计数器值，单位为毫秒。该函数可以用于监视系统的运行时间、实现定时器等应用。它的函数原型如下：

uint32_t osKernelGetTickCount (void);

该函数返回当前系统的滴答计数器值，类型为uint32_t。