tag	line	file	source code
figure_IRQ_timeout	1014	drivers/char/serial.c	figure_IRQ_timeout(info->irq);
figure_IRQ_timeout	1060	drivers/char/serial.c	figure_IRQ_timeout(info->irq);