HelenOS sources

KM_IA64_NON_IDENTITY_SIZE   48 kernel/arch/ia64/src/mm/km.c 	    KM_IA64_NON_IDENTITY_SIZE);
KM_IA64_NON_IDENTITY_SIZE   53 kernel/arch/ia64/src/mm/km.c 	return iswithin(KM_IA64_NON_IDENTITY_START, KM_IA64_NON_IDENTITY_SIZE,
HelenOS homepage, sources at GitHub