taglinefilesource code
video_mode_512ch177drivers/char/console.cint    video_mode_512ch = 0;  /* 512-character mode */
video_mode_512ch1510drivers/char/console.cscr_writew( video_mode_512ch ?
video_mode_512ch2604drivers/char/console.cvideo_mode_512ch = ch512;
video_mode_512ch2612drivers/char/console.creturn set_get_font (arg,0,video_mode_512ch);
video_mode_512ch83drivers/char/vt.cextern int video_mode_512ch;
video_mode_512ch940drivers/char/vt.cvideo_mode_512ch)
video_mode_512ch994drivers/char/vt.ccfdarg.charcount = nchar = video_mode_512ch ? 512 : 256;