more linux changes

[palacios.git] / linux_module / palacios-mm.c

diff --git a/linux_module/palacios-mm.c b/linux_module/palacios-mm.c
index a6505e6..1d750db 100644 (file)
--- a/linux_module/palacios-mm.c
+++ b/linux_module/palacios-mm.c
@@ -192,3 +192,9 @@ int palacios_init_mm( void ) {
 
     return 0;
 }
+
+int palacios_deinit_mm( void ) {
+    kfree(pool.bitmap);
+    
+    return 0;
+}