tag	line	file	source code
video_mode_512ch	158	drivers/char/console.c	int    video_mode_512ch = 0;  /* 512-character mode */
video_mode_512ch	1014	drivers/char/console.c	return ( video_mode_512ch )
video_mode_512ch	1424	drivers/char/console.c	scr_writew( video_mode_512ch ?
video_mode_512ch	2204	drivers/char/console.c	video_mode_512ch = ch512;
video_mode_512ch	2212	drivers/char/console.c	return set_get_font (arg,0,video_mode_512ch);
video_mode_512ch	82	drivers/char/vt.c	extern int video_mode_512ch;
video_mode_512ch	940	drivers/char/vt.c	video_mode_512ch)
video_mode_512ch	1018	drivers/char/vt.c	cfdarg.charcount = nchar = video_mode_512ch ? 512 : 256;