Index: /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 65929)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 65930)
@@ -1228,5 +1228,5 @@
      */
 # if PGM_SHW_TYPE == PGM_TYPE_32BIT
-    const unsigned  iPDDst    = (GCPtrPage >> SHW_PD_SHIFT) & SHW_PD_MASK;
+    const unsigned  iPDDst    = (uint32_t)GCPtrPage >> SHW_PD_SHIFT;
     PX86PDE         pPdeDst   = pgmShwGet32BitPDEPtr(pVCpu, GCPtrPage);
 
@@ -1244,5 +1244,5 @@
 
 # elif PGM_SHW_TYPE == PGM_TYPE_PAE
-    const unsigned  iPdpt     = (GCPtrPage >> X86_PDPT_SHIFT);
+    const unsigned  iPdpt     = (uint32_t)GCPtrPage >> X86_PDPT_SHIFT;
     PX86PDPT        pPdptDst  = pgmShwGetPaePDPTPtr(pVCpu);