86 	vcpu = container_of(work, struct kvm_vcpu, arch.timer_cpu.expired);  in kvm_timer_inject_irq_work()
87 	vcpu->arch.timer_cpu.armed = false;  in kvm_timer_inject_irq_work()
102 	cval = vcpu->arch.timer_cpu.cntv_cval;  in kvm_timer_compute_delta()
125 	vcpu = container_of(timer, struct kvm_vcpu, arch.timer_cpu);  in kvm_timer_expire()
144 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_irq_can_fire()
152 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_should_fire()
167 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_update_irq()
186 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_update_state()
210 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_schedule()
235 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_unschedule()
248 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_flush_hwstate()
292 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_sync_hwstate()
306 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_vcpu_reset()
340 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_vcpu_init()
354 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_arm_timer_set_reg()
376 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_arm_timer_get_reg()
474 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_vcpu_terminate()