tag	line	file	source code
video_mode_512ch	172	drivers/char/console.c	int    video_mode_512ch = 0;  /* 512-character mode */
video_mode_512ch	1031	drivers/char/console.c	return ( video_mode_512ch )
video_mode_512ch	1467	drivers/char/console.c	scr_writew( video_mode_512ch ?
video_mode_512ch	2306	drivers/char/console.c	video_mode_512ch = ch512;
video_mode_512ch	2314	drivers/char/console.c	return set_get_font (arg,0,video_mode_512ch);
video_mode_512ch	85	drivers/char/vt.c	extern int video_mode_512ch;
video_mode_512ch	966	drivers/char/vt.c	video_mode_512ch)
video_mode_512ch	1044	drivers/char/vt.c	cfdarg.charcount = nchar = video_mode_512ch ? 512 : 256;