Searched refs:timer_get_tval (Results 1 – 2 of 2) sorted by relevance
98 static inline int32_t timer_get_tval(enum arch_timer timer) in timer_get_tval() function
534 GUEST_ASSERT(timer_get_tval(timer) < 0); in timers_sanity_checks()550 GUEST_ASSERT(timer_get_tval(timer) <= 0); in timers_sanity_checks()561 GUEST_ASSERT(timer_get_tval(timer) <= in timers_sanity_checks()574 GUEST_ASSERT(timer_get_tval(timer) < 0); in timers_sanity_checks()