vga_wcrtcs
vga_wcrtcs(state->vgabase, iobase, 17, saved->crtc[17] & ~0x80);
vga_wcrtcs(state->vgabase, iobase, i, saved->crtc[i]);