Index: /trunk/src/VBox/VMM/VMMAll/PGMAll.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAll.cpp	(revision 30829)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAll.cpp	(revision 30830)
@@ -1368,4 +1368,5 @@
 
 
+#ifndef VBOX_WITH_2X_4GB_ADDR_SPACE_IN_R0
 /**
  * Performs the lazy mapping of the 32-bit guest PD.
@@ -1426,5 +1427,4 @@
 
 
-#ifndef VBOX_WITH_2X_4GB_ADDR_SPACE_IN_R0
 /**
  * Performs the lazy mapping / updating of a PAE guest PD.