tag	line	file	source code
maxk_idle_timeout	1225	drivers/char/scc.c	if (Expired(t_maxk))  maxk_idle_timeout(scc);
maxk_idle_timeout	1226	drivers/char/scc.c	if (Expired(t_idle))  maxk_idle_timeout(scc);
maxk_idle_timeout	1807	drivers/char/scc.c	maxk_idle_timeout(scc);