Index: /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 17215)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 17216)
@@ -4509,5 +4509,7 @@
         if (RT_SUCCESS(rc))
         {
+# ifdef IN_RC
             PGM_INVL_PG(pVM->pgm.s.GCPtrCR3Mapping);
+# endif
 # if PGM_GST_TYPE == PGM_TYPE_32BIT
             pVM->pgm.s.pGst32BitPdR3 = (R3PTRTYPE(PX86PD))HCPtrGuestCR3;
@@ -4524,5 +4526,5 @@
 #  endif
             pVM->pgm.s.pGstPaePdptRC = (RCPTRTYPE(PX86PDPT))((RCPTRTYPE(uint8_t *))pVM->pgm.s.GCPtrCR3Mapping + off);
-            Log(("Cached mapping %RGv\n", pVM->pgm.s.pGstPaePdptRC));
+            Log(("Cached mapping %RRv\n", pVM->pgm.s.pGstPaePdptRC));
 
             /*