VGA_CRTC_REGS
vga_wcrt(regbase, VGA_CRTC_REGS, htotal / 2);
vga_wcrt(regbase, VGA_CRTC_REGS, 0x00); /* interlace control */
for (i = 0; i < VGA_CRTC_REGS; i++) {