|
ArvernOS
|
#include <stdint.h>Functions | |
| void | timer_init () |
| uint64_t | timer_uptime () |
| uint64_t | timer_uptime_microseconds () |
The main system timer.
| void timer_init | ( | ) |
Initializes the system timer.
| uint64_t timer_uptime | ( | ) |
Returns the number of seconds since the timer has been initialized.
| uint64_t timer_uptime_microseconds | ( | ) |
Returns the number of microseconds since the timer has been initialized.