Searched refs:segkpm_base (Results 1 – 1 of 1) sorted by relevance
255 static uintptr_t segkpm_base = (uintptr_t)SEGKPM_BASE; variable1197 segkpm_base = -(P2ROUNDUP((2 * kpm_resv_amount), in startup_memlist()1201 segkpm_base = MAX(segkpm_base, AMD64_VA_HOLE_END + TERABYTE); in startup_memlist()1202 if (segkpm_base > SEGKPM_BASE) in startup_memlist()1203 segkpm_base = SEGKPM_BASE; in startup_memlist()1204 PRM_DEBUG(segkpm_base); in startup_memlist()1206 valloc_base = segkpm_base + P2ROUNDUP(kpm_resv_amount, ONE_GIG); in startup_memlist()1207 if (valloc_base < segkpm_base) in startup_memlist()1336 kernelbase = segkpm_base - KERNEL_REDZONE_SIZE; in startup_kmem()1785 kpm_vbase = (caddr_t)segkpm_base; in layout_kernel_va()