Index: /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 19787)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 19788)
@@ -4293,5 +4293,7 @@
                         pVCpu->pgm.s.apGstPaePDsRC[i]     = (RCPTRTYPE(PX86PDPAE))GCPtr;
                         pVCpu->pgm.s.aGCPhysGstPaePDs[i]  = GCPhys;
-                        PGM_INVL_PG(GCPtr); /** @todo This ends up calling HWACCMInvalidatePage, is that correct? */
+#  ifdef IN_RC
+                        PGM_INVL_PG(GCPtr);
+#  endif
                         continue;
                     }
@@ -4305,5 +4307,7 @@
                 pVCpu->pgm.s.apGstPaePDsRC[i]     = 0;
                 pVCpu->pgm.s.aGCPhysGstPaePDs[i]  = NIL_RTGCPHYS;
+#  ifdef IN_RC
                 PGM_INVL_PG(GCPtr); /** @todo this shouldn't be necessary? */
+#  endif
             }