Index: /trunk/src/VBox/VMM/include/PGMInline.h
===================================================================
--- /trunk/src/VBox/VMM/include/PGMInline.h	(revision 65981)
+++ /trunk/src/VBox/VMM/include/PGMInline.h	(revision 65982)
@@ -1008,6 +1008,4 @@
 DECLINLINE(X86PDE) pgmShwGet32BitPDE(PVMCPU pVCpu, RTGCPTR GCPtr)
 {
-    const unsigned iPd = (GCPtr >> X86_PD_SHIFT) & X86_PD_MASK;
-
     PX86PD pShwPde = pgmShwGet32BitPDPtr(pVCpu);
     if (!pShwPde)
@@ -1016,5 +1014,5 @@
         return ZeroPde;
     }
-    return pShwPde->a[iPd];
+    return pShwPde->a[(uint32_t)GCPtr >> X86_PD_SHIFT];
 }
 
@@ -1030,9 +1028,7 @@
 DECLINLINE(PX86PDE) pgmShwGet32BitPDEPtr(PVMCPU pVCpu, RTGCPTR GCPtr)
 {
-    const unsigned iPd = (GCPtr >> X86_PD_SHIFT) & X86_PD_MASK;
-
     PX86PD pPde = pgmShwGet32BitPDPtr(pVCpu);
     AssertReturn(pPde, NULL);
-    return &pPde->a[iPd];
+    return &pPde->a[(uint32_t)GCPtr >> X86_PD_SHIFT];
 }