tag	line	file	source code
maxk_idle_timeout	1513	drivers/char/scc.c	if (Expired(t_maxk))  maxk_idle_timeout(scc);
maxk_idle_timeout	1514	drivers/char/scc.c	if (Expired(t_idle))  maxk_idle_timeout(scc);
maxk_idle_timeout	2320	drivers/char/scc.c	maxk_idle_timeout(scc);