X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_config.h;h=fe82063be11cbb02ed02494b9444d72ff166a973;hb=ce3ab888e2ca5f14a89da45b4dc64122ff1e1050;hp=34ad114843c0d71564f7adb44820bf9f5d931181;hpb=0acab7cc621777394096377d6412e7f796e41769;p=palacios.git

diff --git a/palacios/include/palacios/vmm_config.h b/palacios/include/palacios/vmm_config.h
index 34ad114..fe82063 100644
--- a/palacios/include/palacios/vmm_config.h
+++ b/palacios/include/palacios/vmm_config.h
@@ -35,6 +35,7 @@
 struct v3_vm_info;
 
 struct v3_vm_info * v3_config_guest( void * cfg_blob, void * priv_data);
+int v3_free_config(struct v3_vm_info * vm);
 
 struct v3_cfg_file {
     void * data;