pt_set_up         652 drivers/gpu/drm/vmwgfx/vmwgfx_mob.c 	bool pt_set_up = false;
pt_set_up         676 drivers/gpu/drm/vmwgfx/vmwgfx_mob.c 		pt_set_up = true;
pt_set_up         699 drivers/gpu/drm/vmwgfx/vmwgfx_mob.c 	if (pt_set_up) {