debug: FEATURE_CONTROL_MSR

proto/msr/msr.c

@@ -5,9 +5,12 @@
 
 bool ia32_feature_control_flags(void) {
     int msr_value = __rdmsr(IA32_FEATURE_CONTROL_MSR);
+    DEBUG_FMT("IA32_FEATURE_CONTROL value = %llu\n",
+              __rdmsr(IA32_FEATURE_CONTROL_MSR));
 
     if (!(msr_value & IA32_FEATURE_CONTROL_LOCK_BIT)) {
         DEBUG_FMT("Lock bit is not set in IA32_FEATURE_CONTROL_MSR\n");
+
         __wrmsr(IA32_FEATURE_CONTROL_MSR,
                 IA32_FEATURE_CONTROL_LOCK_BIT |
                     IA32_FEATURE_CONTROL_VMXON_OUTSIDE_SMX,