tag	line	file	source code
maxk_idle_timeout	1231	drivers/char/scc.c	if (Expired(t_maxk))  maxk_idle_timeout(scc);
maxk_idle_timeout	1232	drivers/char/scc.c	if (Expired(t_idle))  maxk_idle_timeout(scc);
maxk_idle_timeout	1813	drivers/char/scc.c	maxk_idle_timeout(scc);