Changeset 10066 in vbox for trunk/src/VBox/VMM/VMMR0

Timestamp:

Jul 1, 2008 10:16:38 AM (17 years ago)

Author:

vboxsync

Message:

Paranoid assertion

File:

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

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

@@ -623 +623 @@
         {
             pVMCB->ctrl.u64NestedPagingCR3  = PGMGetNestedCR3(pVM, PGMGetHostMode(pVM));
+            Assert(pVMCB->ctrl.u64NestedPagingCR3);
             pVMCB->guest.u64CR3             = pCtx->cr3;
         }
@@ -1361 +1362 @@
 
         Assert(pVM->hwaccm.s.fNestedPaging);
-
         Log(("Nested page fault at %VGv cr2=%VGp error code %x\n", pCtx->rip, uFaultAddress, errCode));
         /* Exit qualification contains the linear address of the page fault. */