X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm.c;h=9fd33ceefb3dc4f6dab5eab46964c49a636329bb;hb=5f8e40759876e33eb20e4868c51a0773464e2770;hp=cddb7594e5026ecb4cd4fb7425d9aa2d4577b559;hpb=623de2de1c4a31c29975867343b7a78962094fee;p=palacios.git

diff --git a/palacios/src/palacios/svm.c b/palacios/src/palacios/svm.c
index cddb759..9fd33ce 100644
--- a/palacios/src/palacios/svm.c
+++ b/palacios/src/palacios/svm.c
@@ -347,7 +347,7 @@ static int init_svm_guest(struct guest_info *info) {
 // can we start a kernel thread here...
 static int start_svm_guest(struct guest_info *info) {
   vmcb_saved_state_t * guest_state = GET_VMCB_SAVE_STATE_AREA((vmcb_t*)(info->vmm_data));
-  vmcb_ctrl_t * guest_ctrl = GET_VMCB_CTRL_AREA((vmcb_t*)(info->vmm_data));
+  //  vmcb_ctrl_t * guest_ctrl = GET_VMCB_CTRL_AREA((vmcb_t*)(info->vmm_data));
   uint_t num_exits = 0;