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