*
* frequency - the clock frequency in Hz.
* last_time - the last time (in milliseconds since startup) that the clock
* ticked.
*
* frequency - the clock frequency in Hz.
* last_time - the last time (in milliseconds since startup) that the clock
* ticked.