Searched refs:vcpu_cp15_reg64_get (Results 1 – 1 of 1) sorted by relevance
61 static inline u64 vcpu_cp15_reg64_get(struct kvm_vcpu *vcpu, in vcpu_cp15_reg64_get() function1030 val = vcpu_cp15_reg64_get(vcpu, r); in kvm_arm_coproc_get_reg()