100 	now = kvm_phys_timer_read() - vcpu->kvm->arch.timer.cntvoff;  in kvm_timer_compute_delta()
156 	now = kvm_phys_timer_read() - vcpu->kvm->arch.timer.cntvoff;  in kvm_timer_should_fire()
166 	BUG_ON(!vgic_initialized(vcpu->kvm));  in kvm_timer_update_irq()
171 	ret = kvm_vgic_inject_mapped_irq(vcpu->kvm, vcpu->vcpu_id,  in kvm_timer_update_irq()
191 	if (!vgic_initialized(vcpu->kvm))  in kvm_timer_update_state()
358 		vcpu->kvm->arch.timer.cntvoff = kvm_phys_timer_read() - value;  in kvm_arm_timer_set_reg()
379 		return kvm_phys_timer_read() - vcpu->kvm->arch.timer.cntvoff;  in kvm_arm_timer_get_reg()
478 void kvm_timer_enable(struct kvm *kvm)  in kvm_timer_enable()  argument
480 	if (kvm->arch.timer.enabled)  in kvm_timer_enable()
492 		kvm->arch.timer.enabled = 1;  in kvm_timer_enable()
495 void kvm_timer_init(struct kvm *kvm)  in kvm_timer_init()  argument
497 	kvm->arch.timer.cntvoff = kvm_phys_timer_read();  in kvm_timer_init()