taglinefilesource code
ch5122298drivers/char/console.cint con_set_font (char *arg, int ch512)
ch5122302drivers/char/console.ci = set_get_font (arg,1,ch512);
ch5122305drivers/char/console.cvideo_mode_512ch = ch512;
ch5122306drivers/char/console.cconsole_charmask = ch512 ? 0x1ff : 0x0ff;
ch512356drivers/char/tga.cset_get_font(char * arg, int set, int ch512)
ch512312drivers/char/vga.cset_get_font(char * arg, int set, int ch512)
ch512340drivers/char/vga.cch512 ? 2*cmapsz : cmapsz);
ch512345drivers/char/vga.cch512 = 0;    /* Default font is always 256 */
ch512356drivers/char/vga.cfont_select = ch512 ? 0x04 : 0x00;
ch512366drivers/char/vga.cfont_select = arg ? (ch512 ? 0x0e : 0x0a) : 0x00;
ch512406drivers/char/vga.cif (ch512)
ch512442drivers/char/vga.cif ((set)&&(ch512!=ch512enabled))  /* attribute controller */
ch512444drivers/char/vga.cch512enabled=ch512;
ch512449drivers/char/vga.coutb_p ( ch512 ? 0x07 : 0x0f, attrib_port );
ch51278drivers/char/vt.cextern int con_set_font(char * fontmap, int ch512);
ch512365drivers/sbus/char/suncons.cset_get_font(char * arg, int set, int ch512)
ch512372drivers/sbus/char/suncons.cch512 ? 2* cmapsz : cmapsz);