X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm.c;h=b4f692cf0c23666db477db43ed8b6762ecc0ca09;hb=d9c2f0c816ccafbad28d5d7c451bab2723db8fdf;hp=e592aa60d8bb6a989dd8dc6feeb45940345d0a5a;hpb=8340fc900a69b5e4093ae77e0984c12f157dca28;p=palacios.git

diff --git a/palacios/src/palacios/svm.c b/palacios/src/palacios/svm.c
index e592aa6..b4f692c 100644
--- a/palacios/src/palacios/svm.c
+++ b/palacios/src/palacios/svm.c
@@ -353,6 +353,8 @@ int v3_init_svm_vmcb(struct guest_info * core, v3_vm_class_t vm_class) {
 	return -1;
     }
 
+    core->core_run_state = CORE_STOPPED;
+
     return 0;
 }