GICR_PENDBASER_Shareability
__SHIFTIN(GICR_Shareability_IS, GICR_PENDBASER_Shareability) |
if (__SHIFTOUT(pendbase, GICR_PENDBASER_Shareability) == GICR_Shareability_NS) {
pendbase &= ~GICR_PENDBASER_Shareability;
pendbase |= __SHIFTIN(GICR_Shareability_NS, GICR_PENDBASER_Shareability);