VBE_DISPI_INDEX_XRES
bochs_dispi_write(bochs, VBE_DISPI_INDEX_XRES, bochs->xres);
vbox_write_ioport(VBE_DISPI_INDEX_XRES, width);
[VBE_DISPI_INDEX_XRES] = "xres",
mode->width = vbe[VBE_DISPI_INDEX_XRES];