HelenOS sources

KM_ARM64_IDENTITY_SIZE   44 kernel/arch/arm64/include/arch/mm/km.h #define KM_ARM64_IDENTITY_SIZE   UINT64_C(0x0000000100000000)
KM_ARM64_IDENTITY_SIZE   56 kernel/arch/arm64/include/arch/mm/km.h #define KM_ARM64_IDENTITY_SIZE   0x0000000100000000