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. |
Returns an uint32 value representing the number of milli-seconds that has being passed since power-up, or last reset.
init { printf("Current system time: %ldms", system_time()); }