has_pool          132 drivers/gpu/drm/vmwgfx/vmwgfx_cmdbuf.c 	bool has_pool;
has_pool          869 drivers/gpu/drm/vmwgfx/vmwgfx_cmdbuf.c 	if (!man->has_pool)
has_pool         1228 drivers/gpu/drm/vmwgfx/vmwgfx_cmdbuf.c 	if (man->has_pool)
has_pool         1265 drivers/gpu/drm/vmwgfx/vmwgfx_cmdbuf.c 	man->has_pool = true;
has_pool         1378 drivers/gpu/drm/vmwgfx/vmwgfx_cmdbuf.c 	if (!man->has_pool)
has_pool         1381 drivers/gpu/drm/vmwgfx/vmwgfx_cmdbuf.c 	man->has_pool = false;
has_pool         1403 drivers/gpu/drm/vmwgfx/vmwgfx_cmdbuf.c 	WARN_ON_ONCE(man->has_pool);