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));