write_vga
write_vga(12, (c->vc_visible_origin - vga_vram_base) / 2);
write_vga(14, (c->vc_pos - vga_vram_base) / 2);