Symbol: gic_reserve_range
drivers/irqchip/irq-gic-v3-its.c
2345
WARN_ON(gic_reserve_range(gic_rdists->prop_table_pa,
drivers/irqchip/irq-gic-v3-its.c
5471
WARN_ON(gic_reserve_range(paddr, LPI_PENDBASE_SZ));