diff --git a/bochs/cpu/vmcs.cc b/bochs/cpu/vmcs.cc
index f8e7c6b4b..4274bd3f5 100644
--- a/bochs/cpu/vmcs.cc
+++ b/bochs/cpu/vmcs.cc
@@ -60,6 +60,10 @@ void BX_CPU_C::init_VMCS(void)
          if(vmcs_map[type][field] >= VMX_VMCS_AREA_SIZE) {
             BX_PANIC(("VMCS type %d field %d (encoding = 0x%08x) is out of VMCS boundaries", type, field, encoding));
          }
+         BX_DEBUG(("VMCS field 0x%08x located at 0x%08x", encoding, vmcs_map[type][field]));
+       }
+       else {
+         BX_DEBUG(("VMCS field 0x%08x is not supported", encoding));
        }
     }
   }