Index: kernel/generic/include/mm/km.h
===================================================================
--- kernel/generic/include/mm/km.h	(revision 55896b6837c19f8fe505af9cbe31069aa02c168b)
+++ kernel/generic/include/mm/km.h	(revision 77a493aeaf33d7336bb9ff48c3b24021eeaa2bc5)
@@ -36,6 +36,10 @@
 #define KERN_KM_H_
 
+#include <typedefs.h>
+
 extern void km_identity_init(void);
 extern void km_non_identity_init(void);
+
+extern void km_non_identity_span_add(uintptr_t, size_t);
 
 #endif
Index: kernel/generic/src/mm/km.c
===================================================================
--- kernel/generic/src/mm/km.c	(revision 55896b6837c19f8fe505af9cbe31069aa02c168b)
+++ kernel/generic/src/mm/km.c	(revision 77a493aeaf33d7336bb9ff48c3b24021eeaa2bc5)
@@ -39,4 +39,5 @@
 #include <arch/mm/km.h>
 #include <config.h>
+#include <typedefs.h>
 
 /** Architecture dependent setup of identity-mapped kernel memory. */
@@ -54,4 +55,8 @@
 }
 
+void km_non_identity_span_add(uintptr_t base, size_t size)
+{
+}
+
 /** @}
  */