Re: [PATCH 11/15] drm/panfrost: set devfreq clock name