GICR_PROPBASER_SHARE_SHIFT
(0x3UL << GICR_PROPBASER_SHARE_SHIFT)
xbaser |= GICR_PROPBASER_SHARE_NS << GICR_PROPBASER_SHARE_SHIFT;
xbaser |= GICR_PROPBASER_SHARE_IS << GICR_PROPBASER_SHARE_SHIFT;
(GICR_PROPBASER_SHARE_NS << GICR_PROPBASER_SHARE_SHIFT)) {
GICR_PROPBASER_SHARE_SHIFT;