tag	line	file	source code
recheck_count	488	drivers/char/serial.c	int done, done_work, pass_number, recheck_count;
recheck_count	508	drivers/char/serial.c	recheck_count = 0;
recheck_count	517	drivers/char/serial.c	(recheck_count++ <= 64))
recheck_count	520	drivers/char/serial.c	if (recheck_count > 16)
recheck_count	521	drivers/char/serial.c	printk("recheck_count = %d\n", recheck_count);