signed long long int int64_t
static int64_t ticks
See [8254] for hardware details of the 8254 timer chip.
void timer_udelay(int64_t microseconds)
Sleeps for approximately US microseconds.
int64_t timer_elapsed(int64_t)
Returns the number of timer ticks elapsed since THEN, which should be a value once returned by timer_...
int64_t timer_ticks(void)
Returns the number of timer ticks since the OS booted.
void timer_ndelay(int64_t nanoseconds)
Sleeps execution for approximately NS nanoseconds.
void timer_print_stats(void)
devices/timer.h
void timer_mdelay(int64_t milliseconds)
Busy waits.
void timer_init(void)
Sets up the timer to interrupt TIMER_FREQ times per second, and registers the corresponding interrupt...
void timer_calibrate(void)
Calibrates loops_per_tick, used to implement brief delays.
void timer_msleep(int64_t milliseconds)
Sleeps for approximately MS milliseconds.
void timer_sleep(int64_t ticks)
Sleep and yield the CPU to other threads.
void timer_usleep(int64_t microseconds)
Sleeps for approximately US microseconds.
void timer_nsleep(int64_t nanoseconds)
Sleeps for approximately NS nanoseconds.