From: Jack Lange <jacklange@cs.pitt.edu>
Date: Thu, 26 May 2011 17:27:56 +0000 (-0500)
Subject: serialize VMCS after initialization
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=24e7a3946e4d5c09377321e1f06479be9db8481f;p=palacios-OLD.git

serialize VMCS after initialization
---

diff --git a/palacios/src/palacios/vmx.c b/palacios/src/palacios/vmx.c
index 33725e7..55f578a 100644
--- a/palacios/src/palacios/vmx.c
+++ b/palacios/src/palacios/vmx.c
@@ -538,6 +538,9 @@ int v3_init_vmx_vmcs(struct guest_info * core, v3_vm_class_t vm_class) {
 	return -1;
     }
 
+    PrintDebug("Serializing VMCS: %p\n", (void *)vmx_state->vmcs_ptr_phys);
+    vmx_ret = vmcs_clear(vmx_state->vmcs_ptr_phys);
+
     return 0;
 }