out_free_header 3676 drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c goto out_free_header; out_free_header 3860 drivers/gpu/drm/vmwgfx/vmwgfx_execbuf.c out_free_header: