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)