tag	line	file	source code
video_mode_512ch	177	drivers/char/console.c	int    video_mode_512ch = 0;  /* 512-character mode */
video_mode_512ch	1510	drivers/char/console.c	scr_writew( video_mode_512ch ?
video_mode_512ch	2604	drivers/char/console.c	video_mode_512ch = ch512;
video_mode_512ch	2612	drivers/char/console.c	return set_get_font (arg,0,video_mode_512ch);
video_mode_512ch	83	drivers/char/vt.c	extern int video_mode_512ch;
video_mode_512ch	940	drivers/char/vt.c	video_mode_512ch)
video_mode_512ch	994	drivers/char/vt.c	cfdarg.charcount = nchar = video_mode_512ch ? 512 : 256;