TERABYTE
if (physmax + 1 > mmu_btop(TERABYTE / 4)) {
uint64_t adjustment = 8 * (physmem_bytes - (TERABYTE / 4));
segkpm_base = MAX(segkpm_base, AMD64_VA_HOLE_END + TERABYTE);
#define PHYSMEM_MAX64 mmu_btop(64 * TERABYTE)