Searched refs:timer_get_cval (Results 1 – 4 of 4) sorted by relevance
67 static inline u64 timer_get_cval(enum arch_timer timer) in timer_get_cval() function
269 __entry->cval = timer_get_cval(ctx);291 __entry->cval = timer_get_cval(ctx);
166 cval = timer_get_cval(timer); in guest_irq_handler()541 GUEST_ASSERT(timer_get_cval(timer) < timer_get_cntct(timer)); in timers_sanity_checks()570 GUEST_ASSERT(timer_get_cval(timer) >= (CVAL_MAX - msec_to_cycles(test_args.wait_ms))); in timers_sanity_checks()
89 cval = timer_get_cval(accessor); in guest_validate_irq()