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