51 static bool kvm_timer_irq_can_fire(struct arch_timer_context *timer_ctx);
53 				 struct arch_timer_context *timer_ctx);
54 static bool kvm_timer_should_fire(struct arch_timer_context *timer_ctx);
83 	struct arch_timer_context *vtimer;  in kvm_arch_timer_handler()
122 static u64 kvm_timer_compute_delta(struct arch_timer_context *timer_ctx)  in kvm_timer_compute_delta()
142 static bool kvm_timer_irq_can_fire(struct arch_timer_context *timer_ctx)  in kvm_timer_irq_can_fire()
155 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_earliest_exp()
156 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_earliest_exp()
197 	struct arch_timer_context *ptimer;  in kvm_phys_timer_expire()
221 static bool kvm_timer_should_fire(struct arch_timer_context *timer_ctx)  in kvm_timer_should_fire()
246 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_is_pending()
247 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_is_pending()
260 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_update_run()
261 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_update_run()
274 				 struct arch_timer_context *timer_ctx)  in kvm_timer_update_irq()
295 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in phys_timer_emulate()
318 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_update_state()
319 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_update_state()
344 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in vtimer_save_state()
374 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_schedule()
375 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_schedule()
404 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in vtimer_restore_state()
456 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_load_gic()
468 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_load_nogic()
489 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_load()
490 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_vcpu_load()
514 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_should_notify_user()
515 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_should_notify_user()
567 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in unmask_vtimer_irq_user()
592 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_reset()
593 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_vcpu_reset()
633 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_init()
634 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_vcpu_init()
658 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_arm_timer_set_reg()
659 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_arm_timer_set_reg()
686 static u64 read_timer_ctl(struct arch_timer_context *timer)  in read_timer_ctl()
702 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_arm_timer_get_reg()
703 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_arm_timer_get_reg()
795 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_terminate()
829 	struct arch_timer_context *timer;  in kvm_arch_timer_get_input_level()
842 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_enable()
906 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_arm_timer_set_attr()
907 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_arm_timer_set_attr()
939 	struct arch_timer_context *timer;  in kvm_arm_timer_get_attr()