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