timer_get_cval
val = timer_get_cval(timer) - kvm_phys_timer_read() + timer_get_offset(timer);
val = timer_get_cval(timer);
return kvm_counter_compute_delta(timer_ctx, timer_get_cval(timer_ctx));
cval = timer_get_cval(timer_ctx);
cval = timer_get_cval(ctx);
cval = timer_get_cval(ctx);
__entry->cval = timer_get_cval(ctx);
__entry->cval = timer_get_cval(ctx);
u64 timer_get_cval(struct arch_timer_context *ctxt);
cval = timer_get_cval(accessor);
cval = timer_get_cval(timer);
GUEST_ASSERT(timer_get_cval(timer) < timer_get_cntct(timer));
GUEST_ASSERT(timer_get_cval(timer) >= (CVAL_MAX - msec_to_cycles(test_args.wait_ms)));