svga_id           615 drivers/gpu/drm/vmwgfx/vmwgfx_drv.c 	uint32_t svga_id;
svga_id           664 drivers/gpu/drm/vmwgfx/vmwgfx_drv.c 	svga_id = vmw_read(dev_priv, SVGA_REG_ID);
svga_id           665 drivers/gpu/drm/vmwgfx/vmwgfx_drv.c 	if (svga_id != SVGA_ID_2) {
svga_id           667 drivers/gpu/drm/vmwgfx/vmwgfx_drv.c 		DRM_ERROR("Unsupported SVGA ID 0x%x\n", svga_id);