Index: /trunk/src/VBox/VMM/VMMAll/PGMAll.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAll.cpp	(revision 30830)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAll.cpp	(revision 30831)
@@ -1490,5 +1490,5 @@
 #endif /* !VBOX_WITH_2X_4GB_ADDR_SPACE_IN_R0 */
 
-#ifndef IN_RC
+#if !defined(IN_RC) && !defined(VBOX_WITH_2X_4GB_ADDR_SPACE_IN_R0)
 /**
  * Performs the lazy mapping of the 32-bit guest PD.