task. h

uint32_t millis( void );

Returns

The count of ticks since rtos_sched_start was called.