X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fmemcheck.c;h=17894c6c825d5328583d7f3d1769432401782efc;hb=13230ccb05189ab1a615d28d78f1a8b19858e422;hp=2ab86b237a8219d2d5ae3390cb13371f772f9a62;hpb=4a63fd4cef38da57f4b44d8ac88737faa0a12846;p=palacios.releases.git

diff --git a/linux_module/memcheck.c b/linux_module/memcheck.c
index 2ab86b2..17894c6 100644
--- a/linux_module/memcheck.c
+++ b/linux_module/memcheck.c
@@ -172,6 +172,9 @@ void palacios_memcheck_deinit()
       printmem("ALLOCATED MEMORY AT DEINIT",m);
     } 
   }
+
+  palacios_spinlock_deinit(&lock);
+
   INFO("MEMCHECK: DEINITED\n");
 
   // Note that this function could garbage collect at this