X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_symmod.c;h=5f14566d760122b146ab4bd2e049eb88599482a8;hb=81361b1fc66eb2ca2e1eb80d3c3b98c6accde9d0;hp=b0376356bd871e2e86a644f25895e95a854961e7;hpb=e3cd4f1c180c7a59177c7108c495a2e27af9db10;p=palacios.git

diff --git a/palacios/src/palacios/vmm_symmod.c b/palacios/src/palacios/vmm_symmod.c
index b037635..5f14566 100644
--- a/palacios/src/palacios/vmm_symmod.c
+++ b/palacios/src/palacios/vmm_symmod.c
@@ -106,6 +106,7 @@ int V3_init_symmod() {
 	    PrintError("Could not insert module %s to master list\n", tmp_def->name);
 	    return -1;
 	}
+
 	list_add(&(capsule->node), &capsule_list);
 
 	tmp_def = &(__start__v3_capsules[++i]);
@@ -114,6 +115,12 @@ int V3_init_symmod() {
     return 0;
 }
 
+int V3_deinit_symmod() {
+    v3_free_htable(capsule_table, 1, 0);    
+
+    return 0;
+}
+
 /* ***************** */
 /* Linkage functions */
 /* ***************** */