1 files changed, 4 insertions, 0 deletions

diff --git a/drivers/gpu/nvgpu/gk20a/cde_gk20a.c b/drivers/gpu/nvgpu/gk20a/cde_gk20a.c
index c96225c7..f85e0c4c 100644
--- a/drivers/gpu/nvgpu/gk20a/cde_gk20a.c
+++ b/drivers/gpu/nvgpu/gk20a/cde_gk20a.c
@@ -731,6 +731,8 @@ __releases(&cde_app->mutex)
 
         mutex_lock(&cde_app->mutex);
 
+        WARN(!cde_ctx->in_use, "double release cde context %p", cde_ctx);
+
         cde_ctx->in_use = false;
         list_move(&cde_ctx->list, &cde_app->free_contexts);
         cde_app->ctx_usecount--;
@@ -1041,6 +1043,8 @@ __releases(&cde_app->mutex)
                 return;
 
         gk20a_dbg(gpu_dbg_fn | gpu_dbg_cde_ctx, "cde: finished %p", cde_ctx);
+        WARN(!cde_ctx->in_use, "double finish cde context %p on channel %p",
+                        cde_ctx, ch);
 
         if (ch->has_timedout) {
                 if (cde_ctx->is_temporary) {