Searched refs:segkpm_base (Results 1 – 1 of 1) sorted by relevance
239 static uintptr_t segkpm_base = (uintptr_t)SEGKPM_BASE; variable1235 segkpm_base -= P2ROUNDUP(adjustment, KERNEL_REDZONE_SIZE); in startup_memlist()1240 segkpm_base = MAX(segkpm_base, AMD64_VA_HOLE_END + TERABYTE); in startup_memlist()1242 ASSERT(segkpm_base <= SEGKPM_BASE); in startup_memlist()1244 valloc_base = segkpm_base + P2ROUNDUP(physmem_bytes, ONE_GIG); in startup_memlist()1245 if (valloc_base < segkpm_base) in startup_memlist()1249 PRM_DEBUG(segkpm_base); in startup_memlist()1371 kernelbase = segkpm_base - KERNEL_REDZONE_SIZE; in startup_kmem()1787 kpm_vbase = (caddr_t)segkpm_base; in layout_kernel_va()