diff options
Diffstat (limited to 'src/cpu/intel/common/common_init.c')
-rw-r--r-- | src/cpu/intel/common/common_init.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/cpu/intel/common/common_init.c b/src/cpu/intel/common/common_init.c index da7b82651f..44a316b641 100644 --- a/src/cpu/intel/common/common_init.c +++ b/src/cpu/intel/common/common_init.c @@ -40,7 +40,8 @@ void set_vmx(void) msr = rdmsr(IA32_FEATURE_CONTROL); if (msr.lo & (1 << 0)) { - printk(BIOS_ERR, "VMX is locked, so %s will do nothing\n", __func__); + printk(BIOS_ERR, "VMX is locked, so %s will do nothing\n", + __func__); /* VMX locked. If we set it again we get an illegal * instruction */ @@ -66,6 +67,7 @@ void set_vmx(void) wrmsr(IA32_FEATURE_CONTROL, msr); } - printk(BIOS_DEBUG, "VMX status: %s, %s\n", enable ? "enabled" : "disabled", + printk(BIOS_DEBUG, "VMX status: %s, %s\n", + enable ? "enabled" : "disabled", lock ? "locked" : "unlocked"); } |