Searched refs:kvm_arm_timer_set_reg (Results 1 – 3 of 3) sorted by relevance
73 int kvm_arm_timer_set_reg(struct kvm_vcpu *, u64 regid, u64 value);
628 return kvm_arm_timer_set_reg(vcpu, reg->id, val); in set_timer_reg()
820 int kvm_arm_timer_set_reg(struct kvm_vcpu *vcpu, u64 regid, u64 value) in kvm_arm_timer_set_reg() function