LPI_NRBITS
((LPI_NRBITS - 1) & GICR_PROPBASER_IDBITS_MASK));
val = (LPI_NRBITS - 1) & GICR_VPROPBASER_IDBITS_MASK;
val |= (LPI_NRBITS - 1) & GICR_VPROPBASER_IDBITS_MASK;
#define LPI_PROPBASE_SZ ALIGN(BIT(LPI_NRBITS), SZ_64K)
#define LPI_PENDBASE_SZ ALIGN(BIT(LPI_NRBITS) / 8, SZ_64K)
its_encode_vpt_size(cmd, LPI_NRBITS - 1);