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