tag	line	file	source code
attrib_port	437	drivers/char/vga.c	outb_p ( 0x12, attrib_port ); /* color plane enable register */
attrib_port	438	drivers/char/vga.c	outb_p ( ch512 ? 0x07 : 0x0f, attrib_port );
attrib_port	442	drivers/char/vga.c	outb_p ( 0x20, attrib_port );