Symbol: gic_check_reserved_range
drivers/irqchip/irq-gic-v3-its.c
3070
return gic_check_reserved_range(addr, LPI_PROPBASE_SZ);
drivers/irqchip/irq-gic-v3-its.c
3178
WARN_ON(!gic_check_reserved_range(paddr, LPI_PENDBASE_SZ));