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