Changeset 39739 in vbox for trunk

Timestamp:

Jan 10, 2012 3:27:08 PM (13 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

75620

Message:

nits.

Location:

trunk/src/VBox/VMM

Files:

• VMMAll/PGMAllPool.cpp (modified) (1 diff)
• VMMR0/HWVMXR0.cpp (modified) (1 diff)
• VMMR3/PGMShw.h (modified) (1 diff)

trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp ¶

@@ -4944 +4944 @@
  * @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.

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

@@ -2041 +2041 @@
     /* 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;

trunk/src/VBox/VMM/VMMR3/PGMShw.h ¶

@@ -179 +179 @@
 
 # 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