Searched refs:osKernelSysTick (Results 1 – 2 of 2) sorted by relevance
425 uint32_t osKernelSysTick (void);427 #define osKernelSysTick osKernelGetSysTimerCount macro
252 uint32_t osKernelSysTick (void);