struct drm_device *dev = crtc->dev;
        struct tilcdc_crtc *tilcdc_crtc = to_tilcdc_crtc(crtc);
 
+       WARN_ON(!drm_modeset_is_locked(&crtc->mutex));
+
        if (tilcdc_crtc->enabled)
                return;
 
        struct drm_device *dev = crtc->dev;
        struct tilcdc_drm_private *priv = dev->dev_private;
 
+       WARN_ON(!drm_modeset_is_locked(&crtc->mutex));
+
        if (!tilcdc_crtc->enabled)
                return;
 
        struct drm_device *dev = crtc->dev;
        unsigned long flags;
 
+       WARN_ON(!drm_modeset_is_locked(&crtc->mutex));
+
        if (tilcdc_crtc->event) {
                dev_err(dev->dev, "already pending page flip!\n");
                return -EBUSY;
        struct drm_display_mode *mode = &crtc->state->adjusted_mode;
        struct drm_framebuffer *fb = crtc->primary->state->fb;
 
+       WARN_ON(!drm_modeset_is_locked(&crtc->mutex));
+
        if (WARN_ON(!info))
                return;