Cleanup and sanity-checking of assorted additional issues from second pass (Coverity...

[palacios.git] / palacios / src / palacios / vmcb.c

diff --git a/palacios/src/palacios/vmcb.c b/palacios/src/palacios/vmcb.c
index f23cf70..12cf36f 100644 (file)
--- 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]);
                }