/* This function returns the time until the timer expires. */
clock_time_t timer_remaining(struct timer *t)
/* This function returns the time until the timer expires. */
clock_time_t timer_remaining(struct timer *t)
{
	return t->start + t->interval - clock_time();
}