HelenOS sources

KM_ARM64_NON_IDENTITY_SIZE   47 kernel/arch/arm64/include/arch/mm/km.h #define KM_ARM64_NON_IDENTITY_SIZE   UINT64_C(0x0000ffff00000000)
KM_ARM64_NON_IDENTITY_SIZE   59 kernel/arch/arm64/include/arch/mm/km.h #define KM_ARM64_NON_IDENTITY_SIZE   0x0000ffff00000000