Changeset 43852 in vbox for trunk/include/VBox/vmm/cpum.h

Timestamp:

Nov 9, 2012 3:22:51 PM (12 years ago)

Author:

vboxsync

Message:

VMM/VMMR0: bits.

File:

• trunk/include/VBox/vmm/cpum.h (modified) (1 diff)

trunk/include/VBox/vmm/cpum.h

@@ -216 +216 @@
 {
     return !(pCtx->cr0 & X86_CR0_PE)
-        || pCtx->eflags.Bits.u1VM; /** @todo verify that this cannot be set in long mode. */
+        || pCtx->eflags.Bits.u1VM;  /* Cannot be set in long mode. Intel spec 2.3.1 "System Flags and Fields in IA-32e Mode". */
 }