gic_check_reserved_range 2046 drivers/irqchip/irq-gic-v3-its.c 	return gic_check_reserved_range(addr, LPI_PROPBASE_SZ);
gic_check_reserved_range 2137 drivers/irqchip/irq-gic-v3-its.c 		WARN_ON(!gic_check_reserved_range(paddr, LPI_PENDBASE_SZ));