Searched refs:get_ccsidr (Results 1 – 1 of 1) sorted by relevance
117 static u32 get_ccsidr(struct kvm_vcpu *vcpu, u32 csselr) in get_ccsidr() function163 if (val == get_ccsidr(vcpu, csselr)) in set_ccsidr()171 ccsidr[i] = get_ccsidr(vcpu, i); in set_ccsidr()1749 p->regval = get_ccsidr(vcpu, csselr); in access_ccsidr()3347 return put_user(get_ccsidr(vcpu, val), uval); in demux_c15_get()
