irq_timings_free  302 kernel/irq/internals.h extern void irq_timings_free(int irq);
irq_timings_free  309 kernel/irq/internals.h 	irq_timings_free(irq_desc_get_irq(desc));
irq_timings_free  809 kernel/irq/timings.c 	irq_timings_free(irq);