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