62 static void kvm_timer_inject_irq(struct kvm_vcpu *vcpu)  in kvm_timer_inject_irq()
76 	struct kvm_vcpu *vcpu = *(struct kvm_vcpu **)dev_id;  in kvm_arch_timer_handler()  local
94 	struct kvm_vcpu *vcpu;  in kvm_timer_inject_irq_work()  local
114 bool kvm_timer_should_fire(struct kvm_vcpu *vcpu)  in kvm_timer_should_fire()
136 void kvm_timer_flush_hwstate(struct kvm_vcpu *vcpu)  in kvm_timer_flush_hwstate()
162 void kvm_timer_sync_hwstate(struct kvm_vcpu *vcpu)  in kvm_timer_sync_hwstate()
187 void kvm_timer_vcpu_reset(struct kvm_vcpu *vcpu,  in kvm_timer_vcpu_reset()
201 void kvm_timer_vcpu_init(struct kvm_vcpu *vcpu)  in kvm_timer_vcpu_init()
215 int kvm_arm_timer_set_reg(struct kvm_vcpu *vcpu, u64 regid, u64 value)  in kvm_arm_timer_set_reg()
235 u64 kvm_arm_timer_get_reg(struct kvm_vcpu *vcpu, u64 regid)  in kvm_arm_timer_get_reg()
333 void kvm_timer_vcpu_terminate(struct kvm_vcpu *vcpu)  in kvm_timer_vcpu_terminate()