SVGA_REG_WIDTH
width = vmw_read(dev_priv, SVGA_REG_WIDTH);
vmw_write(vmw_priv, SVGA_REG_WIDTH, width);