tag	line	file	source code
video_port_reg	67	kernel/chr_drv/console.c	static unsigned short  video_port_reg;    /* Video register select port  */
video_port_reg	295	kernel/chr_drv/console.c	outb_p(12, video_port_reg);
video_port_reg	297	kernel/chr_drv/console.c	outb_p(13, video_port_reg);
video_port_reg	578	kernel/chr_drv/console.c	outb_p(14, video_port_reg);
video_port_reg	580	kernel/chr_drv/console.c	outb_p(15, video_port_reg);
video_port_reg	590	kernel/chr_drv/console.c	outb_p(14, video_port_reg);
video_port_reg	592	kernel/chr_drv/console.c	outb_p(15, video_port_reg);
video_port_reg	1267	kernel/chr_drv/console.c	video_port_reg = 0x3b4;
video_port_reg	1286	kernel/chr_drv/console.c	video_port_reg  = 0x3d4;