76 #include "sys/clock.h"
88 clock_time_t interval;
void timer_restart(struct timer *t)
Restart the timer from the current point in time.
void timer_set(struct timer *t, clock_time_t interval)
Set a timer.
clock_time_t timer_remaining(struct timer *t)
The time until the timer expires.
int timer_expired(struct timer *t)
Check if a timer has expired.
void timer_reset(struct timer *t)
Reset the timer with the same interval.