HWVMXR0.cpp

Timestamp:

May 16, 2012 11:41:39 AM (13 years ago)

Author:

vboxsync

Message:

VMM/VMMR0/HWVMXR0: cosmetics.

File:

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

-              r41330
+              r41332
         ulBit    = ulMSR;
+    }
+    else
+    if (   ulMSR >= 0xC0000000
+        && ulMSR <= 0xC0001FFF)
+    else if (   ulMSR >= 0xC0000000
+             && ulMSR <= 0xC0001FFF)
+    {
         /* AMD Sixth Generation x86 Processor MSRs */
 …
 /**
  * Checks for pending guest interrupts and injects them into the guest.
+ * Checks for pending guest interrupts and injects them.
+ *
  * @returns VBox status code.

Note: See TracChangeset for help on using the changeset viewer.