Index: /trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp	(revision 39738)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp	(revision 39739)
@@ -4944,4 +4944,5 @@
  * @retval  VINF_PGM_CACHED_PAGE if a CACHED page was returned.
  * @retval  VERR_PGM_POOL_FLUSHED if the pool was flushed.
+ *
  * @param   pVM         The VM handle.
  * @param   GCPhys      The GC physical address of the page we're gonna shadow.
Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 39738)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 39739)
@@ -2041,5 +2041,5 @@
     /* Note: only in the nested paging case can CR3 & CR4 be changed by the guest. */
     if (    pVM->hwaccm.s.fNestedPaging
-        &&  CPUMIsGuestInPagedProtectedModeEx(pCtx))
+        &&  CPUMIsGuestInPagedProtectedModeEx(pCtx)) /** @todo check if we will always catch mode switches and such... */
     {
         PVMCSCACHE pCache = &pVCpu->hwaccm.s.vmx.VMCSCache;
Index: /trunk/src/VBox/VMM/VMMR3/PGMShw.h
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/PGMShw.h	(revision 39738)
+++ /trunk/src/VBox/VMM/VMMR3/PGMShw.h	(revision 39739)
@@ -179,5 +179,6 @@
 
 # if PGM_SHW_TYPE == PGM_TYPE_NESTED && HC_ARCH_BITS == 32
-    /* Must distinguish between 32 and 64 bits guest paging modes as we'll use a different shadow paging root/mode in both cases. */
+    /* Must distinguish between 32 and 64 bits guest paging modes as we'll use
+       a different shadow paging root/mode in both cases. */
     RTGCPHYS     GCPhysCR3 = (fIs64BitsPagingMode) ? RT_BIT_64(63) : RT_BIT_64(62);
 # else