timer.c File Reference

Support of one-shot timers. More...

Functions
void	update_wakeup_timer (systime_t t)
	update the wakeup timer More...
void	update_sched_timer (systime_t t)
	update the sched timer More...

Detailed Description

Support of one-shot timers.

To simplify things we maintain one timer for the scheduler, and one for the wakeup infrastructure. Each of these subsystems is responsible for updating their timer value. When an update happens, we update the hardware timer if the previous (global) timer has changed.

Function Documentation

void update_sched_timer

(

systime_t

t

)

update the sched timer

Parameters

t	absolute time in ms for the next interrupt

void update_wakeup_timer

(

systime_t

t

)

update the wakeup timer

Parameters

t	absolute time in ms for the next interrupt