Re: [PATCH] drm: Avoid drm_global_mutex for simple inc/dec of dev->open_count