KM_AMD64_NON_IDENTITY_START 46 kernel/arch/amd64/include/arch/mm/km.h #define KM_AMD64_NON_IDENTITY_START UINT64_C(0xffff800000000000) KM_AMD64_NON_IDENTITY_START 56 kernel/arch/amd64/include/arch/mm/km.h #define KM_AMD64_NON_IDENTITY_START UINT64_C(0xffffc00000000000)HelenOS homepage, sources at GitHub