GICR_PROPBASER_IDBITS_MASK 1697 drivers/irqchip/irq-gic-v3-its.c 		lpi_id_bits = (val & GICR_PROPBASER_IDBITS_MASK) + 1;
GICR_PROPBASER_IDBITS_MASK 2152 drivers/irqchip/irq-gic-v3-its.c 	       ((LPI_NRBITS - 1) & GICR_PROPBASER_IDBITS_MASK));