tag	line	file	source code
maxk_idle_timeout	1295	drivers/char/scc.c	if (Expired(t_maxk))  maxk_idle_timeout(scc);
maxk_idle_timeout	1296	drivers/char/scc.c	if (Expired(t_idle))  maxk_idle_timeout(scc);
maxk_idle_timeout	1967	drivers/char/scc.c	maxk_idle_timeout(scc);