tag	line	file	source code
figure_IRQ_timeout	875	kernel/chr_drv/serial.c	figure_IRQ_timeout(irq);
figure_IRQ_timeout	894	kernel/chr_drv/serial.c	figure_IRQ_timeout(info->irq);
figure_IRQ_timeout	1113	kernel/chr_drv/serial.c	figure_IRQ_timeout(irq);
figure_IRQ_timeout	1258	kernel/chr_drv/serial.c	figure_IRQ_timeout(irq);