tag	line	file	source code
attrib_port	2488	drivers/char/console.c	outb_p ( 0x12, attrib_port ); /* color plane enable register */
attrib_port	2489	drivers/char/console.c	outb_p ( ch512 ? 0x07 : 0x0f, attrib_port );
attrib_port	2493	drivers/char/console.c	outb_p ( 0x20, attrib_port );