get_ccsidr
p->regval = get_ccsidr(vcpu, csselr);
if (val == get_ccsidr(vcpu, csselr))
ccsidr[i] = get_ccsidr(vcpu, i);
return put_user(get_ccsidr(vcpu, val), uval);