HelenOS sources

km_is_non_identity  219 kernel/genarch/src/mm/page_pt.c 		if (km_is_non_identity(page))
km_is_non_identity  253 kernel/genarch/src/mm/page_pt.c 		if (km_is_non_identity(page))
km_is_non_identity  285 kernel/genarch/src/mm/page_pt.c 		if (km_is_non_identity(page))
km_is_non_identity   51 kernel/generic/include/mm/km.h extern bool km_is_non_identity(uintptr_t);
km_is_non_identity  284 kernel/generic/src/mm/km.c 	if (km_is_non_identity(page))