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);