tag	line	file	source code
ch512	2299	drivers/char/console.c	int con_set_font (char *arg, int ch512)
ch512	2303	drivers/char/console.c	i = set_get_font (arg,1,ch512);
ch512	2306	drivers/char/console.c	video_mode_512ch = ch512;
ch512	2307	drivers/char/console.c	console_charmask = ch512 ? 0x1ff : 0x0ff;
ch512	357	drivers/char/tga.c	set_get_font(char * arg, int set, int ch512)
ch512	305	drivers/char/vga.c	set_get_font(char * arg, int set, int ch512)
ch512	332	drivers/char/vga.c	ch512 ? 2*cmapsz : cmapsz);
ch512	337	drivers/char/vga.c	ch512 = 0;    /* Default font is always 256 */
ch512	348	drivers/char/vga.c	font_select = ch512 ? 0x04 : 0x00;
ch512	358	drivers/char/vga.c	font_select = arg ? (ch512 ? 0x0e : 0x0a) : 0x00;
ch512	398	drivers/char/vga.c	if (ch512)
ch512	438	drivers/char/vga.c	outb_p ( ch512 ? 0x07 : 0x0f, attrib_port );
ch512	78	drivers/char/vt.c	extern int con_set_font(char * fontmap, int ch512);