128 	now = kvm_phys_timer_read() - timer_ctx->cntvoff;  in kvm_timer_compute_delta()
260 	now = kvm_phys_timer_read() - timer_ctx->cntvoff;  in kvm_timer_should_fire()
452 static void set_cntvoff(u64 cntvoff)  in set_cntvoff()  argument
454 	u32 low = lower_32_bits(cntvoff);  in set_cntvoff()
455 	u32 high = upper_32_bits(cntvoff);  in set_cntvoff()
541 	set_cntvoff(map.direct_vtimer->cntvoff);  in kvm_timer_vcpu_load()
672 static void update_vtimer_cntvoff(struct kvm_vcpu *vcpu, u64 cntvoff)  in update_vtimer_cntvoff()  argument
680 		vcpu_vtimer(tmp)->cntvoff = cntvoff;  in update_vtimer_cntvoff()
686 	vcpu_vtimer(vcpu)->cntvoff = cntvoff;  in update_vtimer_cntvoff()
698 	ptimer->cntvoff = 0;  in kvm_timer_vcpu_init()
807 		val = timer->cnt_cval - kvm_phys_timer_read() + timer->cntvoff;  in kvm_arm_timer_read()
819 		val = kvm_phys_timer_read() - timer->cntvoff;  in kvm_arm_timer_read()
853 		timer->cnt_cval = kvm_phys_timer_read() - timer->cntvoff + val;  in kvm_arm_timer_write()