Searched refs:segkpm_base (Results 1 – 1 of 1) sorted by relevance
238 static uintptr_t segkpm_base = (uintptr_t)SEGKPM_BASE; variable1234 segkpm_base -= P2ROUNDUP(adjustment, KERNEL_REDZONE_SIZE); in startup_memlist()1239 segkpm_base = MAX(segkpm_base, AMD64_VA_HOLE_END + TERABYTE); in startup_memlist()1241 ASSERT(segkpm_base <= SEGKPM_BASE); in startup_memlist()1243 valloc_base = segkpm_base + P2ROUNDUP(physmem_bytes, ONE_GIG); in startup_memlist()1244 if (valloc_base < segkpm_base) in startup_memlist()1248 PRM_DEBUG(segkpm_base); in startup_memlist()1370 kernelbase = segkpm_base - KERNEL_REDZONE_SIZE; in startup_kmem()1786 kpm_vbase = (caddr_t)segkpm_base; in layout_kernel_va()