Index: kernel/arch/amd64/include/mm/page.h
===================================================================
--- kernel/arch/amd64/include/mm/page.h	(revision c55dd5898c757f39330d775b262957e173319714)
+++ kernel/arch/amd64/include/mm/page.h	(revision d0485c6a1e50e0398bb04d70d1e1ed89ea3db22a)
@@ -52,4 +52,6 @@
 #define PAGE_WIDTH	FRAME_WIDTH
 #define PAGE_SIZE	FRAME_SIZE
+
+#define PAGE_COLOR_BITS	0			/* dummy */
 
 #ifdef KERNEL
Index: kernel/arch/ia32/include/mm/page.h
===================================================================
--- kernel/arch/ia32/include/mm/page.h	(revision c55dd5898c757f39330d775b262957e173319714)
+++ kernel/arch/ia32/include/mm/page.h	(revision d0485c6a1e50e0398bb04d70d1e1ed89ea3db22a)
@@ -40,4 +40,6 @@
 #define PAGE_WIDTH	FRAME_WIDTH
 #define PAGE_SIZE	FRAME_SIZE
+
+#define PAGE_COLOR_BITS	0			/* dummy */
 
 #ifdef KERNEL
Index: kernel/arch/ia32xen/include/mm/page.h
===================================================================
--- kernel/arch/ia32xen/include/mm/page.h	(revision c55dd5898c757f39330d775b262957e173319714)
+++ kernel/arch/ia32xen/include/mm/page.h	(revision d0485c6a1e50e0398bb04d70d1e1ed89ea3db22a)
@@ -41,4 +41,6 @@
 #define PAGE_SIZE	FRAME_SIZE
 
+#define PAGE_COLOR_BITS	0			/* dummy */
+
 #ifdef KERNEL
 
Index: kernel/arch/ia64/include/mm/page.h
===================================================================
--- kernel/arch/ia64/include/mm/page.h	(revision c55dd5898c757f39330d775b262957e173319714)
+++ kernel/arch/ia64/include/mm/page.h	(revision d0485c6a1e50e0398bb04d70d1e1ed89ea3db22a)
@@ -42,9 +42,10 @@
 #define PAGE_WIDTH	FRAME_WIDTH
 
+#define PAGE_COLOR_BITS	0			/* dummy */
 
 #ifdef KERNEL
 
 /** Bit width of the TLB-locked portion of kernel address space. */
-#define KERNEL_PAGE_WIDTH	28	/* 256M */
+#define KERNEL_PAGE_WIDTH		28	/* 256M */
 
 #define PPN_SHIFT			12
@@ -65,5 +66,5 @@
 #define PA2KA(x)	((uintptr_t) (x+(VRN_KERNEL<<VRN_SHIFT)))
 
-#define VHPT_WIDTH 			20         	/* 1M */
+#define VHPT_WIDTH 			20	/* 1M */
 #define VHPT_SIZE 			(1 << VHPT_WIDTH)
 
Index: kernel/arch/mips32/include/mm/page.h
===================================================================
--- kernel/arch/mips32/include/mm/page.h	(revision c55dd5898c757f39330d775b262957e173319714)
+++ kernel/arch/mips32/include/mm/page.h	(revision d0485c6a1e50e0398bb04d70d1e1ed89ea3db22a)
@@ -40,4 +40,6 @@
 #define PAGE_WIDTH	FRAME_WIDTH
 #define PAGE_SIZE	FRAME_SIZE
+
+#define PAGE_COLOR_BITS	0			/* dummy */
 
 #ifndef __ASM__
Index: kernel/arch/ppc32/include/mm/page.h
===================================================================
--- kernel/arch/ppc32/include/mm/page.h	(revision c55dd5898c757f39330d775b262957e173319714)
+++ kernel/arch/ppc32/include/mm/page.h	(revision d0485c6a1e50e0398bb04d70d1e1ed89ea3db22a)
@@ -40,4 +40,6 @@
 #define PAGE_WIDTH	FRAME_WIDTH
 #define PAGE_SIZE	FRAME_SIZE
+
+#define PAGE_COLOR_BITS	0			/* dummy */
 
 #ifdef KERNEL
Index: kernel/arch/ppc64/include/mm/page.h
===================================================================
--- kernel/arch/ppc64/include/mm/page.h	(revision c55dd5898c757f39330d775b262957e173319714)
+++ kernel/arch/ppc64/include/mm/page.h	(revision d0485c6a1e50e0398bb04d70d1e1ed89ea3db22a)
@@ -40,4 +40,6 @@
 #define PAGE_WIDTH	FRAME_WIDTH
 #define PAGE_SIZE	FRAME_SIZE
+
+#define PAGE_COLOR_BITS	0			/* dummy */
 
 #ifdef KERNEL
Index: kernel/arch/sparc64/include/mm/page.h
===================================================================
--- kernel/arch/sparc64/include/mm/page.h	(revision c55dd5898c757f39330d775b262957e173319714)
+++ kernel/arch/sparc64/include/mm/page.h	(revision d0485c6a1e50e0398bb04d70d1e1ed89ea3db22a)
@@ -41,4 +41,6 @@
 #define PAGE_SIZE	FRAME_SIZE
 
+#define PAGE_COLOR_BITS	1			/**< 14 - 13; 2^14 == 16K == alias boundary. */
+
 #ifdef KERNEL