Searched refs:segkpm_base (Results 1 – 1 of 1) sorted by relevance
254 static uintptr_t segkpm_base = (uintptr_t)SEGKPM_BASE; variable1195 segkpm_base = -(P2ROUNDUP((2 * kpm_resv_amount), in startup_memlist()1199 segkpm_base = MAX(segkpm_base, AMD64_VA_HOLE_END + TERABYTE); in startup_memlist()1200 if (segkpm_base > SEGKPM_BASE) in startup_memlist()1201 segkpm_base = SEGKPM_BASE; in startup_memlist()1202 PRM_DEBUG(segkpm_base); in startup_memlist()1204 valloc_base = segkpm_base + P2ROUNDUP(kpm_resv_amount, ONE_GIG); in startup_memlist()1205 if (valloc_base < segkpm_base) in startup_memlist()1334 kernelbase = segkpm_base - KERNEL_REDZONE_SIZE; in startup_kmem()1783 kpm_vbase = (caddr_t)segkpm_base; in layout_kernel_va()