Re: [PATCH] drm/panfrost: Fix scheduler workqueue bug