X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_hashtable.c;h=fd8f3a2ae01e60370d8d2af01523af440ec0515c;hb=6fa605075d1944da0a88a389122ea24bbc583329;hp=00e6f5269927221f0dc6e57a9f157844125bf9a2;hpb=513222398724762540dea9cbe9aea6e1578c80ac;p=palacios.git

diff --git a/palacios/src/palacios/vmm_hashtable.c b/palacios/src/palacios/vmm_hashtable.c
index 00e6f52..fd8f3a2 100644
--- a/palacios/src/palacios/vmm_hashtable.c
+++ b/palacios/src/palacios/vmm_hashtable.c
@@ -733,6 +733,11 @@ int v3_htable_iter_search(struct hashtable_iter * iter,
     return 0;
 }
  
+void v3_destroy_htable_iter(struct hashtable_iter * iter) {
+    if (iter) {
+        V3_Free(iter);
+    }
+}