tag	line	file	source code
ch512	2403	drivers/char/console.c	static int set_get_font(char * arg, int set, int ch512)
ch512	2430	drivers/char/console.c	ch512 ? 2*cmapsz : cmapsz);
ch512	2435	drivers/char/console.c	ch512 = 0;    /* Default font is always 256 */
ch512	2445	drivers/char/console.c	font_select = arg ? (ch512 ? 0x0e : 0x0a) : 0x00;
ch512	2484	drivers/char/console.c	if (ch512)
ch512	2524	drivers/char/console.c	outb_p ( ch512 ? 0x07 : 0x0f, attrib_port );
ch512	2632	drivers/char/console.c	int con_set_font (char *arg, int ch512)
ch512	2636	drivers/char/console.c	i = set_get_font (arg,1,ch512);
ch512	2639	drivers/char/console.c	video_mode_512ch = ch512;
ch512	2640	drivers/char/console.c	console_charmask = ch512 ? 0x1ff : 0x0ff;
ch512	75	drivers/char/vt.c	extern int con_set_font(char * fontmap, int ch512);