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