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.