Re: [PATCH] drm/vmwgfx: fix spinlock initialization in vmw_driver_load()