Changeset 60228 in vbox for trunk/src/VBox/VMM/VMMRC/CSAMRC.cpp

Timestamp:

Mar 28, 2016 6:28:22 PM (9 years ago)

Author:

vboxsync

Message:

asm-amd64-x86.h,*: made ASMInvalidatePage take a flat unsigned pointer instead of a void pointer (simpler for 16-bit mode). Added some of the bits for 1GB pages.

File:

• trunk/src/VBox/VMM/VMMRC/CSAMRC.cpp (modified) (2 diffs)

trunk/src/VBox/VMM/VMMRC/CSAMRC.cpp

@@ -86 +86 @@
         int rc = PGMShwMakePageWritable(pVCpu, pvFault, PGM_MK_PG_IS_WRITE_FAULT);
         AssertMsgRC(rc, ("PGMShwModifyPage -> rc=%Rrc\n", rc));
-        ASMInvalidatePage((void *)(uintptr_t)pvFault);
+        ASMInvalidatePage((uintptr_t)pvFault);
         return VINF_SUCCESS;
     }
@@ -128 +128 @@
     int rc = PGMShwMakePageWritable(pVCpu, pvFault, PGM_MK_PG_IS_WRITE_FAULT);
     AssertMsgRC(rc, ("PGMShwModifyPage -> rc=%Rrc\n", rc));
-    ASMInvalidatePage((void *)(uintptr_t)pvFault);
+    ASMInvalidatePage((uintptr_t)pvFault);
 
     STAM_COUNTER_INC(&pVM->csam.s.StatCodePageModified);