Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 13175)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 13176)
@@ -1440,5 +1440,5 @@
     /* Note: only in the nested paging case can CR3 & CR4 be changed by the guest. */
     if (    pVM->hwaccm.s.fNestedPaging
-        &&  !CPUMIsGuestInRealModeEx(pCtx))
+        &&  !CPUMIsGuestInPagedProtectedModeEx(pCtx))
     {
         /* Can be updated behind our back in the nested paging case. */