Changes in kernel/arch/abs32le/include/mm/page.h [dc0b964:c0699467] 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))
@@ -178 +176 @@
 extern void page_fault(unsigned int, istate_t *);
 
-#endif /* KERNEL */
-
 #endif