Searched refs:vcpu_cp15_reg64_set (Results 1 – 1 of 1) sorted by relevance
74 static inline void vcpu_cp15_reg64_set(struct kvm_vcpu *vcpu, in vcpu_cp15_reg64_set() function1170 vcpu_cp15_reg64_set(vcpu, r, val); in kvm_arm_coproc_set_reg()