taglinefilesource code
video_port_reg72kernel/chr_drv/console.cstatic unsigned short  video_port_reg;    /* Video register select port  */
video_port_reg301kernel/chr_drv/console.coutb_p(12, video_port_reg);
video_port_reg303kernel/chr_drv/console.coutb_p(13, video_port_reg);
video_port_reg584kernel/chr_drv/console.coutb_p(14, video_port_reg);
video_port_reg586kernel/chr_drv/console.coutb_p(15, video_port_reg);
video_port_reg596kernel/chr_drv/console.coutb_p(14, video_port_reg);
video_port_reg598kernel/chr_drv/console.coutb_p(15, video_port_reg);
video_port_reg1267kernel/chr_drv/console.cvideo_port_reg = 0x3b4;
video_port_reg1286kernel/chr_drv/console.cvideo_port_reg  = 0x3d4;