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,
54 u32 timer_get_ctl(struct arch_timer_context *ctxt)  in timer_get_ctl()
69 u64 timer_get_cval(struct arch_timer_context *ctxt)  in timer_get_cval()
84 static u64 timer_get_offset(struct arch_timer_context *ctxt)  in timer_get_offset()
96 static void timer_set_ctl(struct arch_timer_context *ctxt, u32 ctl)  in timer_set_ctl()
112 static void timer_set_cval(struct arch_timer_context *ctxt, u64 cval)  in timer_set_cval()
128 static void timer_set_offset(struct arch_timer_context *ctxt, u64 offset)  in timer_set_offset()
181 	struct arch_timer_context *ctx;  in kvm_arch_timer_handler()
210 static u64 kvm_timer_compute_delta(struct arch_timer_context *timer_ctx)  in kvm_timer_compute_delta()
230 static bool kvm_timer_irq_can_fire(struct arch_timer_context *timer_ctx)  in kvm_timer_irq_can_fire()
248 		struct arch_timer_context *ctx = &vcpu->arch.timer_cpu.timers[i];  in kvm_timer_earliest_exp()
288 	struct arch_timer_context *ctx;  in kvm_hrtimer_expire()
292 	ctx = container_of(hrt, struct arch_timer_context, hrtimer);  in kvm_hrtimer_expire()
312 static bool kvm_timer_should_fire(struct arch_timer_context *timer_ctx)  in kvm_timer_should_fire()
368 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_update_run()
369 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_update_run()
382 				 struct arch_timer_context *timer_ctx)  in kvm_timer_update_irq()
400 static void timer_emulate(struct arch_timer_context *ctx)  in timer_emulate()
424 static void timer_save_state(struct arch_timer_context *ctx)  in timer_save_state()
503 static void timer_restore_state(struct arch_timer_context *ctx)  in timer_restore_state()
544 static inline void set_timer_irq_phys_active(struct arch_timer_context *ctx, bool active)  in set_timer_irq_phys_active()
551 static void kvm_timer_vcpu_load_gic(struct arch_timer_context *ctx)  in kvm_timer_vcpu_load_gic()
574 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_load_nogic()
632 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_should_notify_user()
633 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_should_notify_user()
694 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in unmask_vtimer_irq_user()
771 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_init()
772 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_vcpu_init()
807 	struct arch_timer_context *timer;  in kvm_arm_timer_set_reg()
838 static u64 read_timer_ctl(struct arch_timer_context *timer)  in read_timer_ctl()
880 			      struct arch_timer_context *timer,  in kvm_arm_timer_read()
928 				struct arch_timer_context *timer,  in kvm_arm_timer_write()
1107 	struct arch_timer_context *timer;  in kvm_arch_timer_get_input_level()
1200 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_arm_timer_set_attr()
1201 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_arm_timer_set_attr()
1233 	struct arch_timer_context *timer;  in kvm_arm_timer_get_attr()