X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvm_guest.c;h=e49e4d405e6b2989a0ae0dbf410e160977807dbf;hb=9feccf93cd8327d1d30a404a92f19716bf5a1e96;hp=48f0d8a40add2f42408d9fa179062711735e023e;hpb=acaadd79c597c8d5180fbfbec79c01fef3dff003;p=palacios.git diff --git a/palacios/src/palacios/vm_guest.c b/palacios/src/palacios/vm_guest.c index 48f0d8a..e49e4d4 100644 --- a/palacios/src/palacios/vm_guest.c +++ b/palacios/src/palacios/vm_guest.c @@ -354,6 +354,8 @@ int v3_free_vm_internal(struct v3_vm_info * vm) { v3_deinit_events(vm); + v3_fw_cfg_deinit(vm); + return 0; }