gic_reserve_range 1718 drivers/irqchip/irq-gic-v3-its.c 		WARN_ON(gic_reserve_range(gic_rdists->prop_table_pa,
gic_reserve_range 2146 drivers/irqchip/irq-gic-v3-its.c 	WARN_ON(gic_reserve_range(paddr, LPI_PENDBASE_SZ));