儲存庫 vbox 的更動 30910

時間撮記:

2010-7-19 下午02:10:07 (14 年 以前)

作者:

vboxsync

訊息:

nits

檔案:

• trunk/src/VBox/VMM/VMMR0/PGMR0SharedPage.cpp (修改) (2 筆差異)

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

@@ -70 +70 @@
             uint64_t fFlags;
 
-            /** todo: inefficient to fetch each guest page like this... */
+            /** @todo inefficient to fetch each guest page like this... */
             rc = PGMGstGetPage(pVCpu, GCRegion, &fFlags, &GCPhys);
             if (    rc == VINF_SUCCESS
@@ -124 +124 @@
             else
             {
-                Assert(    rc == VINF_SUCCESS 
+                Assert(    rc == VINF_SUCCESS
                        ||  rc == VERR_PAGE_NOT_PRESENT
                        ||  rc == VERR_PAGE_MAP_LEVEL4_NOT_PRESENT
                        ||  rc == VERR_PAGE_DIRECTORY_PTR_NOT_PRESENT
-                       ||  rc == VERR_PAGE_TABLE_NOT_PRESENT);  
+                       ||  rc == VERR_PAGE_TABLE_NOT_PRESENT);
                 rc = VINF_SUCCESS;  /* ignore error */
             }