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);