write_attr
write_attr(i, vga_atc[i], 0);
write_attr(0x14, 0x00, 1); /* color select; video on */
static void write_attr(u_int8_t, u_int8_t, u_int8_t);