forgotten_buffer  598 drivers/gpu/drm/vmwgfx/vmwgfx_overlay.c 	bool forgotten_buffer = false;
forgotten_buffer  606 drivers/gpu/drm/vmwgfx/vmwgfx_overlay.c 			forgotten_buffer = true;
forgotten_buffer  611 drivers/gpu/drm/vmwgfx/vmwgfx_overlay.c 	WARN_ON(forgotten_buffer);