KM_AMD64_IDENTITY_START 43 kernel/arch/amd64/include/arch/mm/km.h #define KM_AMD64_IDENTITY_START UINT64_C(0xffffffff80000000) KM_AMD64_IDENTITY_START 53 kernel/arch/amd64/include/arch/mm/km.h #define KM_AMD64_IDENTITY_START UINT64_C(0xffff800000000000)HelenOS homepage, sources at GitHub