X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fmain.c;h=ab6d9f2466b07eb6cd4754f9b97a89932dd8ee3c;hb=07633e013ebc65d2680f0023b90094d9c3880186;hp=aaae31699f6d7caffd59f97e499068a5aefffe1c;hpb=5c2a2684778fa080c41a0f04518721ebe476efb1;p=palacios.releases.git

diff --git a/linux_module/main.c b/linux_module/main.c
index aaae316..ab6d9f2 100644
--- a/linux_module/main.c
+++ b/linux_module/main.c
@@ -27,6 +27,7 @@
 #include "mm.h"
 #include "vm.h"
 #include "allow_devmem.h"
+#include "memcheck.h"
 #include "lockcheck.h"
 
 #include "linux-exts.h"
@@ -347,6 +348,7 @@ static int __init v3_init(void) {
     int ret = 0;
 
     LOCKCHECK_INIT();
+    MEMCHECK_INIT();
 
     palacios_init_mm();
 
@@ -490,6 +492,7 @@ static void __exit v3_exit(void) {
 
     DEBUG("Palacios Module Mallocs = %d, Frees = %d\n", mod_allocs, mod_frees);
     
+    MEMCHECK_DEINIT();
     LOCKCHECK_DEINIT();
 }