Index: arch/amd64/Makefile.inc
===================================================================
--- arch/amd64/Makefile.inc	(revision 23684b75fbd877e18cebd073cdb4a435652e8c2c)
+++ arch/amd64/Makefile.inc	(revision d71007efd9bf1adac91d39ec37befb57a9123574)
@@ -63,4 +63,5 @@
 
 CONFIG_PAGE_PT = y
+DEFS += -DCONFIG_PAGE_PT
 
 ## Compile with i8042 support.
Index: arch/ia32/Makefile.inc
===================================================================
--- arch/ia32/Makefile.inc	(revision 23684b75fbd877e18cebd073cdb4a435652e8c2c)
+++ arch/ia32/Makefile.inc	(revision d71007efd9bf1adac91d39ec37befb57a9123574)
@@ -82,4 +82,5 @@
 
 CONFIG_PAGE_PT = y
+DEFS += -DCONFIG_PAGE_PT
 
 ## Compile with i8042 controller support
Index: arch/ia64/Makefile.inc
===================================================================
--- arch/ia64/Makefile.inc	(revision 23684b75fbd877e18cebd073cdb4a435652e8c2c)
+++ arch/ia64/Makefile.inc	(revision d71007efd9bf1adac91d39ec37befb57a9123574)
@@ -56,4 +56,5 @@
 
 CONFIG_PAGE_HT = y
+DEFS += -DCONFIG_PAGE_HT
 
 ## Compile with support for address space identifiers.
Index: arch/mips32/Makefile.inc
===================================================================
--- arch/mips32/Makefile.inc	(revision 23684b75fbd877e18cebd073cdb4a435652e8c2c)
+++ arch/mips32/Makefile.inc	(revision d71007efd9bf1adac91d39ec37befb57a9123574)
@@ -53,4 +53,5 @@
 
 CONFIG_PAGE_PT = y
+DEFS += -DCONFIG_PAGE_PT
 
 ## Compile with support for address space identifiers.
Index: arch/ppc32/Makefile.inc
===================================================================
--- arch/ppc32/Makefile.inc	(revision 23684b75fbd877e18cebd073cdb4a435652e8c2c)
+++ arch/ppc32/Makefile.inc	(revision d71007efd9bf1adac91d39ec37befb57a9123574)
@@ -53,4 +53,5 @@
 
 CONFIG_PAGE_PT = y
+DEFS += -DCONFIG_PAGE_PT
 
 ARCH_SOURCES = \
Index: arch/sparc64/Makefile.inc
===================================================================
--- arch/sparc64/Makefile.inc	(revision 23684b75fbd877e18cebd073cdb4a435652e8c2c)
+++ arch/sparc64/Makefile.inc	(revision d71007efd9bf1adac91d39ec37befb57a9123574)
@@ -53,4 +53,5 @@
 
 CONFIG_PAGE_HT = y
+DEFS += -DCONFIG_PAGE_HT
 
 ## Compile with support for address space identifiers.
