Searched refs:vcpu_hvtimer (Results 1 – 3 of 3) sorted by relevance
125 #define vcpu_hvtimer(v) (&(v)->arch.timer_cpu.timers[TIMER_HVTIMER]) macro
152 now -= timer_get_offset(vcpu_hvtimer(vcpu)); in kvm_handle_wfx()
325 val = compute_counter_value(vcpu_hvtimer(vcpu)); in kvm_hyp_handle_timer()