Index: kernel/arch/ia32/include/mm/frame.h
===================================================================
--- kernel/arch/ia32/include/mm/frame.h	(revision 26aafe8d909ecb61306a77910aeb374da3814391)
+++ kernel/arch/ia32/include/mm/frame.h	(revision 67b05ff8a6156c062aa30c1388fc37fc148a7ea2)
@@ -39,5 +39,4 @@
 #define FRAME_SIZE   (1 << FRAME_WIDTH)
 
-#ifdef KERNEL
 #ifndef __ASM__
 
@@ -50,5 +49,4 @@
 
 #endif /* __ASM__ */
-#endif /* KERNEL */
 
 #endif
Index: kernel/arch/ia32/include/mm/page.h
===================================================================
--- kernel/arch/ia32/include/mm/page.h	(revision 26aafe8d909ecb61306a77910aeb374da3814391)
+++ kernel/arch/ia32/include/mm/page.h	(revision 67b05ff8a6156c062aa30c1388fc37fc148a7ea2)
@@ -42,6 +42,4 @@
 #define PAGE_SIZE   FRAME_SIZE
 
-#ifdef KERNEL
-
 #ifndef __ASM__
 
@@ -201,6 +199,4 @@
 #endif /* __ASM__ */
 
-#endif /* KERNEL */
-
 #endif