taglinefilesource code
video_port_reg86drivers/char/console.cstatic unsigned short  video_port_reg;    /* Video register select port  */
video_port_reg320drivers/char/console.coutb_p(12, video_port_reg);
video_port_reg322drivers/char/console.coutb_p(13, video_port_reg);
video_port_reg361drivers/char/console.coutb_p(14, video_port_reg);
video_port_reg363drivers/char/console.coutb_p(15, video_port_reg);
video_port_reg377drivers/char/console.coutb_p(14, video_port_reg);
video_port_reg379drivers/char/console.coutb_p(15, video_port_reg);
video_port_reg1381drivers/char/console.cvideo_port_reg = 0x3b4;
video_port_reg1400drivers/char/console.cvideo_port_reg  = 0x3d4;