GICR_PROPBASER_IDBITS_MASK
lpi_id_bits = (val & GICR_PROPBASER_IDBITS_MASK) + 1;
((LPI_NRBITS - 1) & GICR_PROPBASER_IDBITS_MASK));
((ilog2(cfg_table_size) - 1) & GICR_PROPBASER_IDBITS_MASK));