GICR_VPROPBASER_4_1_VALID
val = GICR_VPROPBASER_4_1_VALID;
if (val & GICR_VPROPBASER_4_1_VALID)
if (val & GICR_VPROPBASER_4_1_VALID)
val |= GICR_VPROPBASER_4_1_VALID;
val &= ~GICR_VPROPBASER_4_1_VALID;