GICR_VPROPBASER_IDBITS_MASK
val = (LPI_NRBITS - 1) & GICR_VPROPBASER_IDBITS_MASK;
val |= (LPI_NRBITS - 1) & GICR_VPROPBASER_IDBITS_MASK;