timer_get_tval
GUEST_ASSERT(timer_get_tval(timer) < 0);
GUEST_ASSERT(timer_get_tval(timer) <= 0);
GUEST_ASSERT(timer_get_tval(timer) <=