linear_idx        755 drivers/irqchip/irq-gic-v3-its.c 	u64 rd_idx, to_idx, linear_idx;
linear_idx        763 drivers/irqchip/irq-gic-v3-its.c 	linear_idx = prev_idx;
linear_idx        778 drivers/irqchip/irq-gic-v3-its.c 		linear_idx += delta;
linear_idx        779 drivers/irqchip/irq-gic-v3-its.c 		if (linear_idx >= to_idx)
linear_idx        785 drivers/irqchip/irq-gic-v3-its.c 					   to_idx, linear_idx);