tag	line	file	source code
respond_num	626	kernel/chr_drv/console.c	respond_num(y + (decom ? top+1 : 1), currcons, tty);
respond_num	628	kernel/chr_drv/console.c	respond_num(x+1, currcons, tty);