42 static bool kvm_timer_irq_can_fire(struct arch_timer_context *timer_ctx);
44 				 struct arch_timer_context *timer_ctx);
45 static bool kvm_timer_should_fire(struct arch_timer_context *timer_ctx);
47 				struct arch_timer_context *timer,
51 			      struct arch_timer_context *timer,
94 	struct arch_timer_context *ctx;  in kvm_arch_timer_handler()
123 static u64 kvm_timer_compute_delta(struct arch_timer_context *timer_ctx)  in kvm_timer_compute_delta()
143 static bool kvm_timer_irq_can_fire(struct arch_timer_context *timer_ctx)  in kvm_timer_irq_can_fire()
161 		struct arch_timer_context *ctx = &vcpu->arch.timer_cpu.timers[i];  in kvm_timer_earliest_exp()
201 	struct arch_timer_context *ctx;  in kvm_hrtimer_expire()
205 	ctx = container_of(hrt, struct arch_timer_context, hrtimer);  in kvm_hrtimer_expire()
225 static bool kvm_timer_should_fire(struct arch_timer_context *timer_ctx)  in kvm_timer_should_fire()
281 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_update_run()
282 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_update_run()
295 				 struct arch_timer_context *timer_ctx)  in kvm_timer_update_irq()
313 static void timer_emulate(struct arch_timer_context *ctx)  in timer_emulate()
337 static void timer_save_state(struct arch_timer_context *ctx)  in timer_save_state()
416 static void timer_restore_state(struct arch_timer_context *ctx)  in timer_restore_state()
467 static inline void set_timer_irq_phys_active(struct arch_timer_context *ctx, bool active)  in set_timer_irq_phys_active()
474 static void kvm_timer_vcpu_load_gic(struct arch_timer_context *ctx)  in kvm_timer_vcpu_load_gic()
497 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_load_nogic()
555 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_should_notify_user()
556 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_should_notify_user()
616 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in unmask_vtimer_irq_user()
693 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_init()
694 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_vcpu_init()
729 	struct arch_timer_context *timer;  in kvm_arm_timer_set_reg()
760 static u64 read_timer_ctl(struct arch_timer_context *timer)  in read_timer_ctl()
800 			      struct arch_timer_context *timer,  in kvm_arm_timer_read()
847 				struct arch_timer_context *timer,  in kvm_arm_timer_write()
1026 	struct arch_timer_context *timer;  in kvm_arch_timer_get_input_level()
1119 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_arm_timer_set_attr()
1120 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_arm_timer_set_attr()
1152 	struct arch_timer_context *timer;  in kvm_arm_timer_get_attr()