Index: kernel/generic/include/mm/km.h
===================================================================
--- kernel/generic/include/mm/km.h	(revision 404be7cb0619095a215f638f206bb4612d902309)
+++ kernel/generic/include/mm/km.h	(revision 1b478f661c486eaaf171a6561c652459502ed22f)
@@ -46,4 +46,6 @@
 extern void km_page_free(uintptr_t, size_t);
 
+extern bool km_is_non_identity(uintptr_t);
+
 #endif
 
Index: kernel/generic/src/mm/km.c
===================================================================
--- kernel/generic/src/mm/km.c	(revision 404be7cb0619095a215f638f206bb4612d902309)
+++ kernel/generic/src/mm/km.c	(revision 1b478f661c486eaaf171a6561c652459502ed22f)
@@ -61,4 +61,9 @@
 }
 
+bool km_is_non_identity(uintptr_t addr)
+{
+	return km_is_non_identity_arch(addr);
+}
+
 void km_non_identity_span_add(uintptr_t base, size_t size)
 {