Function osKernelGetSysTimerCount

source/rtos/cmsis_os2_port.c:137–140

}

uint32_t osKernelGetSysTimerCount(void)
{
    return os_time_get();
}