tag	line	file	source code
respond_num	724	drivers/char/console.c	respond_num(y + (decom ? top+1 : 1), currcons, tty);
respond_num	726	drivers/char/console.c	respond_num(x+1, currcons, tty);