tag	line	file	source code
vde	2380	drivers/char/console.c	unsigned char ovr, vde, fsr, curs, cure;
vde	2415	drivers/char/console.c	vde = maxscan & 0xff;      /* Vertical display end reg */
vde	2433	drivers/char/console.c	outb_p( vde, video_port_val );