Index: kernel/generic/include/mm/km.h
===================================================================
--- kernel/generic/include/mm/km.h	(revision ad12b5ea675f6fa2b88cd868c39d5005c6cd86da)
+++ kernel/generic/include/mm/km.h	(revision 1f5714e5345e349ecb06ffbe3ed854e2db5db9ac)
@@ -43,4 +43,7 @@
 extern void km_non_identity_span_add(uintptr_t, size_t);
 
+extern uintptr_t km_page_alloc(size_t, size_t);
+extern void km_page_free(uintptr_t, size_t);
+
 #endif