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