irq_timings_push  384 kernel/irq/internals.h 		irq_timings_push(local_clock(), irq_desc_get_irq(desc));
irq_timings_push  843 kernel/irq/timings.c 		irq_timings_push(ots + i, oirq + i);