Changes in kernel/arch/abs32le/src/mm/page.c [9d58539:83dab11] in mainline

File:

• kernel/arch/abs32le/src/mm/page.c (modified) (2 diffs)

kernel/arch/abs32le/src/mm/page.c

@@ -39 +39 @@
 #include <mm/page.h>
 #include <mm/as.h>
-#include <typedefs.h>
 #include <align.h>
 #include <config.h>
@@ -46 +45 @@
 #include <arch/asm.h>
 #include <debug.h>
-#include <memstr.h>
 #include <print.h>
 #include <interrupt.h>