tag	line	file	source code
ch512	2391	drivers/char/console.c	static int set_get_font(char * arg, int set, int ch512)
ch512	2415	drivers/char/console.c	ch512 ? 2*cmapsz : cmapsz);
ch512	2449	drivers/char/console.c	if (ch512)
ch512	2471	drivers/char/console.c	outb_p( ch512 ? 0x04 : 0x00, seq_port_val );
ch512	2488	drivers/char/console.c	outb_p ( ch512 ? 0x07 : 0x0f, attrib_port );
ch512	2596	drivers/char/console.c	int con_set_font (char *arg, int ch512)
ch512	2600	drivers/char/console.c	i = set_get_font (arg,1,ch512);
ch512	2603	drivers/char/console.c	video_mode_512ch = ch512;
ch512	2604	drivers/char/console.c	console_charmask = ch512 ? 0x1ff : 0x0ff;
ch512	74	drivers/char/vt.c	extern int con_set_font(char * fontmap, int ch512);