SVGA_REG_BUSY
while (vmw_read(vmw, SVGA_REG_BUSY) != 0)
return (vmw_read(dev_priv, SVGA_REG_BUSY) == 0);