127 	now = kvm_phys_timer_read() - timer_ctx->cntvoff;  in kvm_timer_compute_delta()
239 	now = kvm_phys_timer_read() - timer_ctx->cntvoff;  in kvm_timer_should_fire()
432 static void set_cntvoff(u64 cntvoff)  in set_cntvoff()  argument
434 	u32 low = lower_32_bits(cntvoff);  in set_cntvoff()
435 	u32 high = upper_32_bits(cntvoff);  in set_cntvoff()
500 	set_cntvoff(vtimer->cntvoff);  in kvm_timer_vcpu_load()
612 static void update_vtimer_cntvoff(struct kvm_vcpu *vcpu, u64 cntvoff)  in update_vtimer_cntvoff()  argument
620 		vcpu_vtimer(tmp)->cntvoff = cntvoff;  in update_vtimer_cntvoff()
626 	vcpu_vtimer(vcpu)->cntvoff = cntvoff;  in update_vtimer_cntvoff()
638 	vcpu_ptimer(vcpu)->cntvoff = 0;  in kvm_timer_vcpu_init()
709 		return kvm_phys_timer_read() - vtimer->cntvoff;  in kvm_arm_timer_get_reg()