Changeset 17916 in vbox

Timestamp:

Mar 16, 2009 11:07:41 AM (16 years ago)

Author:

vboxsync

Message:

VT-x init: some BIOSes forget to set the locked bit.

File:

• trunk/src/VBox/VMM/VMMR0/HWACCMR0.cpp (modified) (1 diff)

trunk/src/VBox/VMM/VMMR0/HWACCMR0.cpp

@@ -514 +514 @@
         * Once the lock bit is set, this MSR can no longer be modified.
         */
-        if (!(val & (MSR_IA32_FEATURE_CONTROL_VMXON|MSR_IA32_FEATURE_CONTROL_LOCK)))
+        if (    !(val & (MSR_IA32_FEATURE_CONTROL_VMXON|MSR_IA32_FEATURE_CONTROL_LOCK))
+            ||  ((val & (MSR_IA32_FEATURE_CONTROL_VMXON|MSR_IA32_FEATURE_CONTROL_LOCK)) == MSR_IA32_FEATURE_CONTROL_VMXON) /* Some BIOSes forget to set the locked bit. */
+           )
         {
             /* MSR is not yet locked; we can change it ourselves here */