tag	line	file	source code
video_mode_512ch	176	drivers/char/console.c	int    video_mode_512ch = 0;  /* 512-character mode */
video_mode_512ch	1509	drivers/char/console.c	scr_writew( video_mode_512ch ?
video_mode_512ch	2603	drivers/char/console.c	video_mode_512ch = ch512;
video_mode_512ch	2611	drivers/char/console.c	return set_get_font (arg,0,video_mode_512ch);
video_mode_512ch	81	drivers/char/vt.c	extern int video_mode_512ch;
video_mode_512ch	938	drivers/char/vt.c	video_mode_512ch)
video_mode_512ch	992	drivers/char/vt.c	cfdarg.charcount = nchar = video_mode_512ch ? 512 : 256;