diff --git a/proto/msr/msr.c b/proto/msr/msr.c
index e6c7058eb80c270b1a863f2cd4dbea4cfc65ecaa..9445e661611b80dd6e523b501ec5de1c7a9f7e48 100644
--- a/proto/msr/msr.c
+++ b/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,