65 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_inject_irq()
96 	vcpu = container_of(work, struct kvm_vcpu, arch.timer_cpu.expired);  in kvm_timer_inject_irq_work()
97 	vcpu->arch.timer_cpu.armed = false;  in kvm_timer_inject_irq_work()
116 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_should_fire()
124 	now = kvm_phys_timer_read() - vcpu->kvm->arch.timer.cntvoff;  in kvm_timer_should_fire()
138 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_flush_hwstate()
164 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_sync_hwstate()
180 	now = kvm_phys_timer_read() - vcpu->kvm->arch.timer.cntvoff;  in kvm_timer_sync_hwstate()
190 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_vcpu_reset()
203 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_vcpu_init()
217 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_arm_timer_set_reg()
224 		vcpu->kvm->arch.timer.cntvoff = kvm_phys_timer_read() - value;  in kvm_arm_timer_set_reg()
237 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_arm_timer_get_reg()
243 		return kvm_phys_timer_read() - vcpu->kvm->arch.timer.cntvoff;  in kvm_arm_timer_get_reg()
335 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_vcpu_terminate()
342 	if (kvm->arch.timer.enabled)  in kvm_timer_enable()
354 		kvm->arch.timer.enabled = 1;  in kvm_timer_enable()
359 	kvm->arch.timer.cntvoff = kvm_phys_timer_read();  in kvm_timer_init()