X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvm_guest.c;h=41158e7db115a91ed42d68a772531cf5685febb7;hb=3650bf4aaa4f83afae52c8fee98fce6e3ee68deb;hp=d325e6b09c2d946151878ec9b67faf83459ce946;hpb=60ad6a41c6d0ee08ed689e8505eb0c3df0c2a289;p=palacios.git

diff --git a/palacios/src/palacios/vm_guest.c b/palacios/src/palacios/vm_guest.c
index d325e6b..41158e7 100644
--- a/palacios/src/palacios/vm_guest.c
+++ b/palacios/src/palacios/vm_guest.c
@@ -322,6 +322,11 @@ int v3_free_vm_internal(struct v3_vm_info * vm) {
     v3_deinit_hvm_vm(vm);
 #endif
 
+#ifdef V3_CONFIG_MULTIBOOT
+    v3_deinit_multiboot_vm(vm);
+#endif
+
+
 #ifdef V3_CONFIG_SYMBIOTIC
     v3_deinit_symbiotic_vm(vm);
 #endif
@@ -474,6 +479,10 @@ int v3_free_core(struct guest_info * core) {
     v3_deinit_hvm_core(core);
 #endif
 
+#ifdef V3_CONFIG_MULTIBOOT
+    v3_deinit_multiboot_core(core);
+#endif
+
     v3_deinit_decoder(core);
 
     v3_deinit_intr_controllers(core);