Next: float seconds()
Up: 9.3 Time Commands
Previous: void reset_system_time()
Returns the count of system time in milliseconds.
Time count is reset by hardware reset (i.e., pressing reset switch on
board) or the function
is implemented as a C primitive (not as a library function).
Fred G. Martin
Fri Mar 29 17:44:15 EST 1996