Index: kernel/generic/include/mm/km.h
===================================================================
--- kernel/generic/include/mm/km.h	(revision 622f40971c4de54afef879c8d7d1bc1e522942ee)
+++ kernel/generic/include/mm/km.h	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
@@ -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