Index: /trunk/src/VBox/VMM/PGMInternal.h
===================================================================
--- /trunk/src/VBox/VMM/PGMInternal.h	(revision 22935)
+++ /trunk/src/VBox/VMM/PGMInternal.h	(revision 22936)
@@ -3563,5 +3563,5 @@
     PGMDynMapHCPage(PGM2VM(pPGM), HCPhys & ~(RTHCPHYS)PAGE_OFFSET_MASK, &pv);
 # endif
-    pv = (void *)((uintptr_t)pv | (HCPhys & PAGE_OFFSET_MASK));
+    pv = (void *)((uintptr_t)pv | ((uintptr_t)HCPhys & PAGE_OFFSET_MASK));
     return pv;
 }