tag	line	file	source code
ch512	2240	drivers/char/console.c	static int set_get_font(char * arg, int set, int ch512)
ch512	2260	drivers/char/console.c	ch512 ? 2*cmapsz : cmapsz);
ch512	2294	drivers/char/console.c	if (ch512)
ch512	2316	drivers/char/console.c	outb_p( ch512 ? 0x04 : 0x00, seq_port_val );
ch512	2333	drivers/char/console.c	outb_p ( ch512 ? 0x07 : 0x0f, attrib_port );
ch512	2353	drivers/char/console.c	int con_set_font (char *arg, int ch512)
ch512	2357	drivers/char/console.c	i = set_get_font (arg,1,ch512);
ch512	2360	drivers/char/console.c	video_mode_512ch = ch512;
ch512	2361	drivers/char/console.c	console_charmask = ch512 ? 0x1ff : 0x0ff;
ch512	75	drivers/char/vt.c	extern int con_set_font(char * fontmap, int ch512);