VGA_CRT_DC
vga_video_port_val = VGA_CRT_DC;
return vga_r (regbase, VGA_CRT_DC);
vga_w (regbase, VGA_CRT_DC, val);
return vga_io_r (VGA_CRT_DC);
vga_io_w (VGA_CRT_DC, val);
return vga_mm_r (regbase, VGA_CRT_DC);
vga_mm_w (regbase, VGA_CRT_DC, val);