62 static void kvm_timer_inject_irq(struct kvm_vcpu *vcpu)  in kvm_timer_inject_irq()  argument
65 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_inject_irq()
68 	ret = kvm_vgic_inject_irq(vcpu->kvm, vcpu->vcpu_id,  in kvm_timer_inject_irq()
76 	struct kvm_vcpu *vcpu = *(struct kvm_vcpu **)dev_id;  in kvm_arch_timer_handler()  local
84 	pr_warn("Unexpected interrupt %d on vcpu %p\n", irq, vcpu);  in kvm_arch_timer_handler()
94 	struct kvm_vcpu *vcpu;  in kvm_timer_inject_irq_work()  local
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()
103 	kvm_vcpu_kick(vcpu);  in kvm_timer_inject_irq_work()
114 bool kvm_timer_should_fire(struct kvm_vcpu *vcpu)  in kvm_timer_should_fire()  argument
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()
136 void kvm_timer_flush_hwstate(struct kvm_vcpu *vcpu)  in kvm_timer_flush_hwstate()  argument
138 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_flush_hwstate()
151 	if (kvm_timer_should_fire(vcpu))  in kvm_timer_flush_hwstate()
152 		kvm_timer_inject_irq(vcpu);  in kvm_timer_flush_hwstate()
162 void kvm_timer_sync_hwstate(struct kvm_vcpu *vcpu)  in kvm_timer_sync_hwstate()  argument
164 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_sync_hwstate()
170 	if (kvm_timer_should_fire(vcpu)) {  in kvm_timer_sync_hwstate()
175 		kvm_timer_inject_irq(vcpu);  in kvm_timer_sync_hwstate()
180 	now = kvm_phys_timer_read() - vcpu->kvm->arch.timer.cntvoff;  in kvm_timer_sync_hwstate()
187 void kvm_timer_vcpu_reset(struct kvm_vcpu *vcpu,  in kvm_timer_vcpu_reset()  argument
190 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_vcpu_reset()
201 void kvm_timer_vcpu_init(struct kvm_vcpu *vcpu)  in kvm_timer_vcpu_init()  argument
203 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_vcpu_init()
215 int kvm_arm_timer_set_reg(struct kvm_vcpu *vcpu, u64 regid, u64 value)  in kvm_arm_timer_set_reg()  argument
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()
235 u64 kvm_arm_timer_get_reg(struct kvm_vcpu *vcpu, u64 regid)  in kvm_arm_timer_get_reg()  argument
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()
333 void kvm_timer_vcpu_terminate(struct kvm_vcpu *vcpu)  in kvm_timer_vcpu_terminate()  argument
335 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_vcpu_terminate()