tag	line	file	source code
maxk_idle_timeout	1202	drivers/char/scc.c	if (Expired(t_maxk))  maxk_idle_timeout(scc);
maxk_idle_timeout	1203	drivers/char/scc.c	if (Expired(t_idle))  maxk_idle_timeout(scc);
maxk_idle_timeout	1855	drivers/char/scc.c	maxk_idle_timeout(scc);