tag	line	file	source code
video_misc_wr	382	drivers/char/console.c	outb_p(vga.CrtMiscIO & 0xef,video_misc_wr);
video_misc_wr	415	drivers/char/console.c	outb_p(vga.CrtMiscIO,video_misc_wr);