66 	struct kvm_vcpu *vcpu = *(struct kvm_vcpu **)dev_id;  in kvm_arch_timer_handler()
84 	struct kvm_vcpu *vcpu;  in kvm_timer_inject_irq_work()
86 	vcpu = container_of(work, struct kvm_vcpu, arch.timer_cpu.expired);  in kvm_timer_inject_irq_work()
98 static u64 kvm_timer_compute_delta(struct kvm_vcpu *vcpu)  in kvm_timer_compute_delta()
121 	struct kvm_vcpu *vcpu;  in kvm_timer_expire()
125 	vcpu = container_of(timer, struct kvm_vcpu, arch.timer_cpu);  in kvm_timer_expire()
142 static bool kvm_timer_irq_can_fire(struct kvm_vcpu *vcpu)  in kvm_timer_irq_can_fire()
150 bool kvm_timer_should_fire(struct kvm_vcpu *vcpu)  in kvm_timer_should_fire()
164 static void kvm_timer_update_irq(struct kvm_vcpu *vcpu, bool new_level)  in kvm_timer_update_irq()
184 static int kvm_timer_update_state(struct kvm_vcpu *vcpu)  in kvm_timer_update_state()
208 void kvm_timer_schedule(struct kvm_vcpu *vcpu)  in kvm_timer_schedule()
233 void kvm_timer_unschedule(struct kvm_vcpu *vcpu)  in kvm_timer_unschedule()
246 void kvm_timer_flush_hwstate(struct kvm_vcpu *vcpu)  in kvm_timer_flush_hwstate()
290 void kvm_timer_sync_hwstate(struct kvm_vcpu *vcpu)  in kvm_timer_sync_hwstate()
303 int kvm_timer_vcpu_reset(struct kvm_vcpu *vcpu,  in kvm_timer_vcpu_reset()
338 void kvm_timer_vcpu_init(struct kvm_vcpu *vcpu)  in kvm_timer_vcpu_init()
352 int kvm_arm_timer_set_reg(struct kvm_vcpu *vcpu, u64 regid, u64 value)  in kvm_arm_timer_set_reg()
374 u64 kvm_arm_timer_get_reg(struct kvm_vcpu *vcpu, u64 regid)  in kvm_arm_timer_get_reg()
472 void kvm_timer_vcpu_terminate(struct kvm_vcpu *vcpu)  in kvm_timer_vcpu_terminate()