X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_cpu_mapper.c;h=626f50fd60dcf6b234d0bf27a11fe248bd2bd819;hb=3586c3bd6260bf79c57baebf66a26d7e8158d411;hp=e2e34bc500bbbddf042c2f8bc60c2f8ad7168fce;hpb=aeb2dd5e0468a94dd992a21d9e6e8ac5b925d2e6;p=palacios.git

diff --git a/palacios/src/palacios/vmm_cpu_mapper.c b/palacios/src/palacios/vmm_cpu_mapper.c
index e2e34bc..626f50f 100644
--- a/palacios/src/palacios/vmm_cpu_mapper.c
+++ b/palacios/src/palacios/vmm_cpu_mapper.c
@@ -60,7 +60,10 @@ int V3_init_cpu_mapper() {
 int V3_deinit_cpu_mapper() {
 
     destroy_default_cpu_mapper();
-    v3_free_htable(master_cpu_mapper_table, 1, 1);
+    // we must leave the keys and values unfreed
+    // since we have no idea whether they are heap or otherwise
+    // the user must have done appropriate unregisters before this
+    v3_free_htable(master_cpu_mapper_table, 0, 0);
     return 0;
 }
 
@@ -250,5 +253,6 @@ static int create_default_cpu_mapper()
 static int destroy_default_cpu_mapper()
 {
 	v3_unregister_cpu_mapper(default_mapper_impl.name);
+	// note - is not deleted since it's a global... 
 	return 0;
 }