X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmx.c;h=e733eb5500aa331f45168e174761a4ac0d2e763b;hp=c7c66c5ca1bec506cc954dcff8be8edc83fae887;hb=94429f4b9268cf4d5f86dee5c3d929110811ac80;hpb=9d3b3018dfa76f3612eff68e78aaf636496c4fe4

diff --git a/palacios/src/palacios/vmx.c b/palacios/src/palacios/vmx.c
index c7c66c5..e733eb5 100644
--- a/palacios/src/palacios/vmx.c
+++ b/palacios/src/palacios/vmx.c
@@ -955,6 +955,9 @@ int v3_start_vmx_guest(struct guest_info * info) {
         }
 	
 	PrintDebug("VMX core %u initialized\n", info->vcpu_id);
+
+	// We'll be paranoid about race conditions here
+	v3_wait_at_barrier(info);
     }