tag	line	file	source code
doprint	1689	drivers/char/serial.c	static int check_wild_interrupts(int doprint)
doprint	1720	drivers/char/serial.c	if (doprint)