Changeset 45722 in vbox

Timestamp:

Apr 25, 2013 9:18:42 AM (12 years ago)

Author:

vboxsync

Message:

VMM/HMVMXR0: nits.

File:

• trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp (modified) (2 diffs)

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

@@ -66 +66 @@
 #define HMVMX_FLUSH_TAGGED_TLB_NONE              3
 
-/**
- * Updated-guest-state flags.
- */
+/** Updated-guest-state flags. */
 #define HMVMX_UPDATED_GUEST_RIP                   RT_BIT(0)
 #define HMVMX_UPDATED_GUEST_RSP                   RT_BIT(1)
@@ -3143 +3141 @@
 {
     /* Validate segment registers. See Intel spec. 26.3.1.2 "Checks on Guest Segment Registers". */
+    Assert(pVCpu->hm.s.vmx.fUpdatedGuestState & HMVMX_UPDATED_GUEST_CR0);
+    Assert(pVCpu->hm.s.vmx.fUpdatedGuestState & HMVMX_UPDATED_GUEST_RFLAGS);
     if (   !pVM->hm.s.vmx.fUnrestrictedGuest
         && (   !CPUMIsGuestInRealModeEx(pCtx)