GICR_PROPBASER_Shareability
__SHIFTIN(GICR_Shareability_IS, GICR_PROPBASER_Shareability) |
if (__SHIFTOUT(propbase, GICR_PROPBASER_Shareability) != GICR_Shareability_IS) {
if (__SHIFTOUT(propbase, GICR_PROPBASER_Shareability) == GICR_Shareability_NS) {
propbase &= ~GICR_PROPBASER_Shareability;
propbase |= __SHIFTIN(GICR_Shareability_NS, GICR_PROPBASER_Shareability);