ots               834 kernel/irq/timings.c 	u64 ots = 0xDEAD, ts;
ots               841 kernel/irq/timings.c 			 i, i & IRQ_TIMINGS_MASK, ots + i, oirq + i);
ots               843 kernel/irq/timings.c 		irq_timings_push(ots + i, oirq + i);
ots               850 kernel/irq/timings.c 	ots += start;
ots               869 kernel/irq/timings.c 			 i, ts, ots, irq, oirq);
ots               871 kernel/irq/timings.c 		if (WARN_ON(ts != ots || irq != oirq))
ots               874 kernel/irq/timings.c 		ots++; oirq++;