vga_512_chars 97 drivers/video/console/vgacon.c static bool vga_512_chars; vga_512_chars 601 drivers/video/console/vgacon.c if (vga_512_chars) vga_512_chars 1191 drivers/video/console/vgacon.c if ((set) && (ch512 != vga_512_chars)) { vga_512_chars 1192 drivers/video/console/vgacon.c vga_512_chars = ch512; vga_512_chars 1310 drivers/video/console/vgacon.c font->charcount = vga_512_chars ? 512 : 256; vga_512_chars 1313 drivers/video/console/vgacon.c return vgacon_do_font_op(&vgastate, font->data, 0, vga_512_chars);