GICR_PROPBASER_SHAREABILITY_MASK
reg = vgic_sanitise_field(reg, GICR_PROPBASER_SHAREABILITY_MASK,
tmp &= ~GICR_PROPBASER_SHAREABILITY_MASK;
if ((tmp ^ val) & GICR_PROPBASER_SHAREABILITY_MASK) {
if (!(tmp & GICR_PROPBASER_SHAREABILITY_MASK)) {
val &= ~(GICR_PROPBASER_SHAREABILITY_MASK |