Changeset 13180 in vbox

Timestamp:

Oct 10, 2008 2:54:56 PM (16 years ago)

Author:

vboxsync

Message:

Minor updates

File:

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

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

@@ -1157 +1157 @@
         }
         else
-        if (!(pCtx->cr0 & X86_CR0_PG))
+        if (!CPUMIsGuestInPagedProtectedModeEx(pCtx))
         {
             /* We use 4 MB pages in our identity mapping page table for real and protected mode without paging. */
@@ -2842 +2842 @@
 
         VMXReadVMCS(VMX_VMCS_GUEST_CR3, &val);
-        Log(("VMX_VMCS_HOST_CR3         %VGp\n", val));
+        Log(("VMX_VMCS_GUEST_CR3        %VGp\n", val));
 
         VMXReadVMCS(VMX_VMCS_GUEST_CR4, &val);