KM_AMD64_IDENTITY_SIZE 44 kernel/arch/amd64/include/arch/mm/km.h #define KM_AMD64_IDENTITY_SIZE UINT64_C(0x0000000080000000) KM_AMD64_IDENTITY_SIZE 54 kernel/arch/amd64/include/arch/mm/km.h #define KM_AMD64_IDENTITY_SIZE UINT64_C(0x0000400000000000)HelenOS homepage, sources at GitHub