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