system_time - Get current system time


uint32 system_time();

Get the time as the number of milli-seconds since the device has power-up, or last reset.

The system time overflows to zero after 49 days, 17 hours, 2 minutes, 47 seconds and 295 milli-seconds.

Return Value

Returns an uint32 value representing the number of milli-seconds that has being passed since power-up, or last reset.


Example #1 system_time() example

init {
    printf("Current system time: %ldms", system_time());

See Also

t2/system_time.txt · Last modified: 2021/04/01 06:16 by J2Kbr