Barrelfish
Macros | Functions
timer.h File Reference

Header for one-shot timer support. More...

Macros

#define TIMER_INF   ((systime_t)(-1))
 

Functions

void arch_set_timer (systime_t t)
 
void update_wakeup_timer (systime_t wakeup_timer)
 update the wakeup timer More...
 
void update_sched_timer (systime_t sched_timer)
 update the sched timer More...
 

Detailed Description

Header for one-shot timer support.

Macro Definition Documentation

#define TIMER_INF   ((systime_t)(-1))

this value is used, when the scheduler or the wakeup subsystem do not want to be woken up in the foresable future.

Function Documentation

void arch_set_timer ( systime_t  t)

This needs to be defined by the architecture

void update_sched_timer ( systime_t  t)

update the sched timer

Parameters
tabsolute time in ms for the next interrupt
void update_wakeup_timer ( systime_t  t)

update the wakeup timer

Parameters
tabsolute time in ms for the next interrupt