tag	line	file	source code
font_select	315	drivers/char/vga.c	int font_select = 0x00;
font_select	351	drivers/char/vga.c	font_select = ch512 ? 0x04 : 0x00;
font_select	361	drivers/char/vga.c	font_select = arg ? (ch512 ? 0x0e : 0x0a) : 0x00;
font_select	424	drivers/char/vga.c	outb_p( font_select, seq_port_val );