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