Index: kernel/generic/include/mm/km.h
===================================================================
--- kernel/generic/include/mm/km.h	(revision bf3dd35e1dbbdb751e833d8750fe09a54f590040)
+++ kernel/generic/include/mm/km.h	(revision 3f0ea0e27dd8fd035057f2c75afa2a0b24875fd3)
@@ -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);