Index: kernel/generic/include/mm/km.h
===================================================================
--- kernel/generic/include/mm/km.h	(revision 7c3e482c391f80c59181faa47a647ba2f19ce614)
+++ kernel/generic/include/mm/km.h	(revision c72dc15e1268838fa6c71bd50186bc53b39ee999)
@@ -46,4 +46,6 @@
 extern void km_page_free(uintptr_t, size_t);
 
+extern bool km_is_non_identity(uintptr_t);
+
 #endif