Memory checking enhancements

diff --git a/linux_module/memcheck.c b/linux_module/memcheck.c
index 2ab86b2..17894c6 100644 (file)
--- 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