X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmx.c;h=632daab0bcc6bf3c987daab2aa36b8b08019005c;hp=14f6bdce426567e5ec616d3bc31bec369f267ae8;hb=4f0bb09709fcff0e08aef60c1f0253bbef91f608;hpb=316c417125ed34aaa60f9fc5486a6d8dec4fb361

diff --git a/palacios/src/palacios/vmx.c b/palacios/src/palacios/vmx.c
index 14f6bdc..632daab 100644
--- a/palacios/src/palacios/vmx.c
+++ b/palacios/src/palacios/vmx.c
@@ -710,7 +710,7 @@ int v3_is_vmx_capable() {
     if (ecx & CPUID_1_ECX_VTXFLAG) {
         v3_get_msr(VMX_FEATURE_CONTROL_MSR, &(feature_msr.hi), &(feature_msr.lo));
 	
-        PrintTrace("MSRREGlow: 0x%.8x\n", feature_msr.lo);
+        PrintDebug("MSRREGlow: 0x%.8x\n", feature_msr.lo);
 
         if ((feature_msr.lo & FEATURE_CONTROL_VALID) != FEATURE_CONTROL_VALID) {
             PrintDebug("VMX is locked -- enable in the BIOS\n");