KM_ARM64_NON_IDENTITY_START 46 kernel/arch/arm64/include/arch/mm/km.h #define KM_ARM64_NON_IDENTITY_START UINT64_C(0xffff000000000000) KM_ARM64_NON_IDENTITY_START 58 kernel/arch/arm64/include/arch/mm/km.h #define KM_ARM64_NON_IDENTITY_START 0xffff000000000000HelenOS homepage, sources at GitHub