Searched refs:timer_get_tval (Results 1 – 2 of 2) sorted by relevance
535 GUEST_ASSERT(timer_get_tval(timer) < 0); in timers_sanity_checks()551 GUEST_ASSERT(timer_get_tval(timer) <= 0); in timers_sanity_checks()562 GUEST_ASSERT(timer_get_tval(timer) <= in timers_sanity_checks()575 GUEST_ASSERT(timer_get_tval(timer) < 0); in timers_sanity_checks()
98 static inline s32 timer_get_tval(enum arch_timer timer) in timer_get_tval() function