lpi_range_lock   1471 drivers/irqchip/irq-gic-v3-its.c static DEFINE_MUTEX(lpi_range_lock);
lpi_range_lock   1498 drivers/irqchip/irq-gic-v3-its.c 	mutex_lock(&lpi_range_lock);
lpi_range_lock   1516 drivers/irqchip/irq-gic-v3-its.c 	mutex_unlock(&lpi_range_lock);
lpi_range_lock   1542 drivers/irqchip/irq-gic-v3-its.c 	mutex_lock(&lpi_range_lock);
lpi_range_lock   1563 drivers/irqchip/irq-gic-v3-its.c 	mutex_unlock(&lpi_range_lock);