more linux changes

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

diff --git a/linux_module/palacios-file.c b/linux_module/palacios-file.c
index d26fcb2..ed0b410 100644 (file)
--- a/linux_module/palacios-file.c
+++ b/linux_module/palacios-file.c
@@ -76,6 +76,7 @@ static int palacios_file_close(void * file_ptr) {
     
     list_del(&(pfile->file_node));
 
+    kfree(pfile->path);    
     kfree(pfile);
 
     return 0;
@@ -156,3 +157,12 @@ int palacios_file_init( void ) {
 
     return 0;
 }
+
+
+int palacios_file_deinit( void ) {
+    if (!list_empty(&(global_files))) {
+       printk("Error removing module with open files\n");
+    }
+
+    return 0;
+}