Changes in kernel/arch/abs32le/include/mm/page.h [c0699467:dc0b964] in mainline

File:

• kernel/arch/abs32le/include/mm/page.h (modified) (2 diffs)

kernel/arch/abs32le/include/mm/page.h

@@ -41 +41 @@
 #define PAGE_WIDTH  FRAME_WIDTH
 #define PAGE_SIZE   FRAME_SIZE
+
+#ifdef KERNEL
 
 #define KA2PA(x)  (((uintptr_t) (x)) - UINT32_C(0x80000000))
@@ -176 +178 @@
 extern void page_fault(unsigned int, istate_t *);
 
+#endif /* KERNEL */
+
 #endif