tag	line	file	source code
respond_ID	992	kernel/chr_drv/console.c	respond_ID(currcons,tty);
respond_ID	1117	kernel/chr_drv/console.c	respond_ID(currcons,tty);