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