Index: arch/amd64/include/mm/page.h
===================================================================
--- arch/amd64/include/mm/page.h	(revision 631ca4d04a2284ebd54da4b84fc569fab1e212a4)
+++ arch/amd64/include/mm/page.h	(revision d1f8a87ac9eee01b7c1dd694d9dba04fb72387be)
@@ -32,11 +32,13 @@
 #include <arch/mm/frame.h>
 
+#define PAGE_WIDTH	FRAME_WIDTH
+#define PAGE_SIZE	FRAME_SIZE
+
+#ifdef KERNEL
+
 #ifndef __ASM__
 #  include <mm/page.h>
 #  include <arch/types.h>
 #endif
-
-#define PAGE_WIDTH	FRAME_WIDTH
-#define PAGE_SIZE	FRAME_SIZE
 
 #ifndef __ASM__
@@ -143,5 +145,7 @@
 extern void page_arch_init(void);
 
-#endif
+#endif /* __ASM__ */
+
+#endif /* KERNEL */
 
 #endif