X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmcb.c;h=12cf36f6cd4afd0d191cc6439549c44cf2cce451;hp=f23cf706926f47954d5cf8d01a534b39025e4b33;hb=c6d28a5255ee5d1995865fc615bbe2481b19996d;hpb=198151f1d58834ff7889389007232a3d250f51f1

diff --git a/palacios/src/palacios/vmcb.c b/palacios/src/palacios/vmcb.c
index f23cf70..12cf36f 100644
--- a/palacios/src/palacios/vmcb.c
+++ b/palacios/src/palacios/vmcb.c
@@ -262,7 +262,7 @@ void PrintDebugVMCB(vmcb_t * vmcb) {
 		}
 	}
 
-	for (i=0;i<4;i++) { 
+	for (i=0;i<3;i++) { 
 		if (ctrl_area->rsvd2[i]) {
 			PrintDebug(VM_NONE, VCORE_NONE, "control rsvd2[%d] has value 0x%x\n", i, ctrl_area->rsvd2[i]);
 		}