103 	now = kvm_phys_timer_read() - vcpu->kvm->arch.timer.cntvoff;  in kvm_timer_compute_delta()
159 	now = kvm_phys_timer_read() - vcpu->kvm->arch.timer.cntvoff;  in kvm_timer_should_fire()
169 	BUG_ON(!vgic_initialized(vcpu->kvm));  in kvm_timer_update_irq()
174 	ret = kvm_vgic_inject_mapped_irq(vcpu->kvm, vcpu->vcpu_id,  in kvm_timer_update_irq()
194 	if (!vgic_initialized(vcpu->kvm))  in kvm_timer_update_state()
361 		vcpu->kvm->arch.timer.cntvoff = kvm_phys_timer_read() - value;  in kvm_arm_timer_set_reg()
382 		return kvm_phys_timer_read() - vcpu->kvm->arch.timer.cntvoff;  in kvm_arm_timer_get_reg()
481 void kvm_timer_enable(struct kvm *kvm)  in kvm_timer_enable()  argument
483 	if (kvm->arch.timer.enabled)  in kvm_timer_enable()
495 		kvm->arch.timer.enabled = 1;  in kvm_timer_enable()
498 void kvm_timer_init(struct kvm *kvm)  in kvm_timer_init()  argument
500 	kvm->arch.timer.cntvoff = kvm_phys_timer_read();  in kvm_timer_init()