vga_wattr
vga_wattr(state->vgabase, VGA_ATC_PLANE_ENABLE, ch512 ? 0x07 : 0x0f);
vga_wattr(state->vgabase, VGA_AR_ENABLE_DISPLAY, 0);
vga_wattr(regbase, CL_AR33, 0);
vga_wattr(cinfo->regbase, CL_AR33, xpix);
vga_wattr(cinfo->regbase, VGA_ATC_PALETTE0, 0x00);
vga_wattr(cinfo->regbase, VGA_ATC_PALETTE1, 0x01);
vga_wattr(cinfo->regbase, VGA_ATC_PALETTE2, 0x02);
vga_wattr(cinfo->regbase, VGA_ATC_PALETTE3, 0x03);
vga_wattr(cinfo->regbase, VGA_ATC_PALETTE4, 0x04);
vga_wattr(cinfo->regbase, VGA_ATC_PALETTE5, 0x05);
vga_wattr(cinfo->regbase, VGA_ATC_PALETTE6, 0x06);
vga_wattr(cinfo->regbase, VGA_ATC_PALETTE7, 0x07);
vga_wattr(cinfo->regbase, VGA_ATC_PALETTE8, 0x08);
vga_wattr(cinfo->regbase, VGA_ATC_PALETTE9, 0x09);
vga_wattr(cinfo->regbase, VGA_ATC_PALETTEA, 0x0a);
vga_wattr(cinfo->regbase, VGA_ATC_PALETTEB, 0x0b);
vga_wattr(cinfo->regbase, VGA_ATC_PALETTEC, 0x0c);
vga_wattr(cinfo->regbase, VGA_ATC_PALETTED, 0x0d);
vga_wattr(cinfo->regbase, VGA_ATC_PALETTEE, 0x0e);
vga_wattr(cinfo->regbase, VGA_ATC_PALETTEF, 0x0f);
vga_wattr(cinfo->regbase, VGA_ATC_MODE, 0x01);
vga_wattr(cinfo->regbase, VGA_ATC_OVERSCAN, 0x00);
vga_wattr(cinfo->regbase, VGA_ATC_PLANE_ENABLE, 0x0f);
vga_wattr(cinfo->regbase, VGA_ATC_COLOR_PAGE, 0x00);
vga_wattr(NULL, index, value);
vga_wattr(state->vgabase, i, saved->attr[i]);