tag	line	file	source code
ch512	2298	drivers/char/console.c	int con_set_font (char *arg, int ch512)
ch512	2302	drivers/char/console.c	i = set_get_font (arg,1,ch512);
ch512	2305	drivers/char/console.c	video_mode_512ch = ch512;
ch512	2306	drivers/char/console.c	console_charmask = ch512 ? 0x1ff : 0x0ff;
ch512	356	drivers/char/tga.c	set_get_font(char * arg, int set, int ch512)
ch512	308	drivers/char/vga.c	set_get_font(char * arg, int set, int ch512)
ch512	335	drivers/char/vga.c	ch512 ? 2*cmapsz : cmapsz);
ch512	340	drivers/char/vga.c	ch512 = 0;    /* Default font is always 256 */
ch512	351	drivers/char/vga.c	font_select = ch512 ? 0x04 : 0x00;
ch512	361	drivers/char/vga.c	font_select = arg ? (ch512 ? 0x0e : 0x0a) : 0x00;
ch512	401	drivers/char/vga.c	if (ch512)
ch512	441	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);