Index: /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 17288)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 17289)
@@ -1479,5 +1479,5 @@
                 {
 #if PGM_SHW_TYPE == PGM_TYPE_EPT
-                    PteDst.u             = (HCPhys & EPT_PTE_PG_MASK);
+                    PteDst.u             = PGM_PAGE_GET_HCPHYS(pPage);
                     PteDst.n.u1Present   = 1;
                     PteDst.n.u1Execute   = 1;
@@ -1527,5 +1527,5 @@
                     STAM_COUNTER_INC(&pVM->pgm.s.CTX_MID_Z(Stat,DirtyPageSkipped));
 #if PGM_SHW_TYPE == PGM_TYPE_EPT
-                    PteDst.u             = (HCPhys & EPT_PTE_PG_MASK);
+                    PteDst.u             = PGM_PAGE_GET_HCPHYS(pPage);
                     PteDst.n.u1Present   = 1;
                     PteDst.n.u1Write     = 1;