VBE_DISPI_INDEX_VIRT_WIDTH
bochs_dispi_write(bochs, VBE_DISPI_INDEX_VIRT_WIDTH, bochs->xres);
bochs_dispi_write(bochs, VBE_DISPI_INDEX_VIRT_WIDTH, vwidth);
vbox_write_ioport(VBE_DISPI_INDEX_VIRT_WIDTH, pitch * 8 / bpp);
[VBE_DISPI_INDEX_VIRT_WIDTH] = "virt-width",
virt_width = vbe[VBE_DISPI_INDEX_VIRT_WIDTH];