Searched refs:physmem_bytes (Results 1 – 1 of 1) sorted by relevance
1227 uint64_t physmem_bytes = mmu_ptob(physmax + 1); in startup_memlist() local1228 uint64_t adjustment = 8 * (physmem_bytes - (TERABYTE / 4)); in startup_memlist()1244 valloc_base = segkpm_base + P2ROUNDUP(physmem_bytes, ONE_GIG); in startup_memlist()