vmw_is_svga_v3
BUG_ON(vmw_is_svga_v3(dev_priv));
if (vmw_is_svga_v3(vmw))
vmw_write(dev, SVGA_REG_ID, vmw_is_svga_v3(dev) ?
BUG_ON(vmw_is_svga_v3(dev) && (svga_id != SVGA_ID_3));
BUG_ON(vmw_is_svga_v3(vmw));
BUG_ON(vmw_is_svga_v3(vmw));
if (vmw_is_svga_v3(dev_priv))
BUG_ON(vmw_is_svga_v3(dev_priv));
if (vmw_is_svga_v3(vmw))
if (vmw_is_svga_v3(vmw))
if (vmw_is_svga_v3(dev_priv)) {
if (vmw_is_svga_v3(dev_priv)) {