free_lpi_range   1585 drivers/irqchip/irq-gic-v3-its.c 	err = free_lpi_range(8192, lpis);
free_lpi_range   1624 drivers/irqchip/irq-gic-v3-its.c 	WARN_ON(free_lpi_range(base, nr_ids));