Index: kernel/genarch/src/drivers/ega/ega.c
===================================================================
--- kernel/genarch/src/drivers/ega/ega.c	(revision 32817cc7228ed0a4db98be9cb5f00757af3d7e2c)
+++ kernel/genarch/src/drivers/ega/ega.c	(revision d46732962adcfcbf946c2c3f032af0f7fadb285c)
@@ -37,8 +37,7 @@
 #include <genarch/drivers/ega/ega.h>
 #include <putchar.h>
-#include <mm/page.h>
+#include <mm/km.h>
 #include <mm/as.h>
 #include <mm/slab.h>
-#include <arch/mm/page.h>
 #include <typedefs.h>
 #include <arch/asm.h>
Index: kernel/genarch/src/drivers/s3c24xx_uart/s3c24xx_uart.c
===================================================================
--- kernel/genarch/src/drivers/s3c24xx_uart/s3c24xx_uart.c	(revision 32817cc7228ed0a4db98be9cb5f00757af3d7e2c)
+++ kernel/genarch/src/drivers/s3c24xx_uart/s3c24xx_uart.c	(revision d46732962adcfcbf946c2c3f032af0f7fadb285c)
@@ -45,4 +45,5 @@
 #include <mm/slab.h>
 #include <mm/page.h>
+#include <mm/km.h>
 #include <sysinfo/sysinfo.h>
 #include <str.h>
Index: kernel/genarch/src/fb/fb.c
===================================================================
--- kernel/genarch/src/fb/fb.c	(revision 32817cc7228ed0a4db98be9cb5f00757af3d7e2c)
+++ kernel/genarch/src/fb/fb.c	(revision d46732962adcfcbf946c2c3f032af0f7fadb285c)
@@ -40,5 +40,5 @@
 #include <console/console.h>
 #include <sysinfo/sysinfo.h>
-#include <mm/page.h>
+#include <mm/km.h>
 #include <mm/slab.h>
 #include <align.h>