HelenOS sources

km_non_identity_init   44 kernel/generic/include/mm/km.h extern void km_non_identity_init(void);
km_non_identity_init  224 kernel/generic/src/main/main.c 	km_non_identity_init();
HelenOS homepage, sources at GitHub