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

diff --git a/palacios/src/palacios/svm.c b/palacios/src/palacios/svm.c
index a52b4d0..115e19c 100644
--- a/palacios/src/palacios/svm.c
+++ b/palacios/src/palacios/svm.c
@@ -700,6 +700,9 @@ int v3_start_svm_guest(struct guest_info * info) {
 	}
 
 	PrintDebug("SVM core %u(on %u) initialized\n", info->vcpu_id, info->pcpu_id);
+
+	// We'll be paranoid about race conditions here
+	v3_wait_at_barrier(info);
     } 
 
     PrintDebug("SVM core %u(on %u): I am starting at CS=0x%x (base=0x%p, limit=0x%x),  RIP=0x%p\n",