Index: kernel/generic/include/mm/km.h
===================================================================
--- kernel/generic/include/mm/km.h	(revision bf3dd35e1dbbdb751e833d8750fe09a54f590040)
+++ kernel/generic/include/mm/km.h	(revision 89b6a3bee8770a7ec407637aafd09a52976a5fb2)
@@ -50,4 +50,5 @@
 
 extern uintptr_t km_map(uintptr_t, size_t, unsigned int);
+extern void km_unmap(uintptr_t, size_t);
 
 extern uintptr_t km_temporary_page_get(uintptr_t *, frame_flags_t);