Index: kernel/generic/include/mm/km.h
===================================================================
--- kernel/generic/include/mm/km.h	(revision d46732962adcfcbf946c2c3f032af0f7fadb285c)
+++ kernel/generic/include/mm/km.h	(revision 221c9ec0fbbc7f15c19b6c609e290af3d4ea2b17)
@@ -49,5 +49,5 @@
 extern bool km_is_non_identity(uintptr_t);
 
-extern uintptr_t hw_map(uintptr_t, size_t);
+extern uintptr_t km_map(uintptr_t, size_t, unsigned int);
 
 extern uintptr_t km_temporary_page_get(uintptr_t *, frame_flags_t);