HelenOS sources

KM_ARM64_IDENTITY_START   43 kernel/arch/arm64/include/arch/mm/km.h #define KM_ARM64_IDENTITY_START  UINT64_C(0xffffffff00000000)
KM_ARM64_IDENTITY_START   55 kernel/arch/arm64/include/arch/mm/km.h #define KM_ARM64_IDENTITY_START  0xffffffff00000000