113 	vcpu = container_of(work, struct kvm_vcpu, arch.timer_cpu.expired);  in kvm_timer_inject_irq_work()
178 	vcpu = container_of(timer, struct kvm_vcpu, arch.timer_cpu);  in kvm_bg_timer_expire()
203 	vcpu = container_of(timer, struct kvm_vcpu, arch.timer_cpu);  in kvm_phys_timer_expire()
294 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in phys_timer_emulate()
317 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_update_state()
343 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in vtimer_save_state()
373 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_schedule()
403 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in vtimer_restore_state()
425 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_unschedule()
488 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_vcpu_load()
531 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_vcpu_put()
580 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_sync_hwstate()
591 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_vcpu_reset()
632 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_vcpu_init()
794 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_vcpu_terminate()
841 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_enable()
919 	if (vcpu->arch.timer_cpu.enabled)  in kvm_arm_timer_set_attr()