VBE_DISPI_INDEX_ID
id = bochs_dispi_read(bochs, VBE_DISPI_INDEX_ID);
vbox_write_ioport(VBE_DISPI_INDEX_ID, id);
[VBE_DISPI_INDEX_ID] = "id",
mdev_state->vbe[VBE_DISPI_INDEX_ID] = VBE_DISPI_ID5;