Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 13179)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 13180)
@@ -1157,5 +1157,5 @@
         }
         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,5 +2842,5 @@
 
         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);