42 static bool timer_is_armed(struct arch_timer_cpu *timer)  in timer_is_armed()
48 static void timer_arm(struct arch_timer_cpu *timer, u64 ns)  in timer_arm()
55 static void timer_disarm(struct arch_timer_cpu *timer)  in timer_disarm()
120 	struct arch_timer_cpu *timer;  in kvm_timer_expire()
124 	timer = container_of(hrt, struct arch_timer_cpu, timer);  in kvm_timer_expire()
144 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_irq_can_fire()
152 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_should_fire()
167 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_update_irq()
186 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_update_state()
210 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_schedule()
235 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_unschedule()
248 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_flush_hwstate()
292 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_sync_hwstate()
306 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_vcpu_reset()
340 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_vcpu_init()
354 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_arm_timer_set_reg()
376 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_arm_timer_get_reg()
474 	struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;  in kvm_timer_vcpu_terminate()