From: Peter Dinda <pdinda@northwestern.edu>
Date: Tue, 28 May 2013 22:20:20 +0000 (-0500)
Subject: Memory checking enhancements
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=13230ccb05189ab1a615d28d78f1a8b19858e422

Memory checking enhancements
---

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