HelenOS sources

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  0xffff000000000000