Lines Matching defs:valloc_base
411 * --- -|-----------------------|- ekernelheap, valloc_base (floating)
464 * | page_t structures | valloc_base + valloc_sz
467 * 0xFFFFFF00.00000000 |-----------------------|- valloc_base (lower if >256GB)
499 * valloc_base: start of the kernel's memory management/tracking data
647 uintptr_t valloc_base;
669 PRM_DEBUG(valloc_base);
672 mem = BOP_ALLOC(bootops, (caddr_t)valloc_base, valloc_sz, valloc_align);
673 if (mem != (caddr_t)valloc_base)
992 * This is everything at valloc_base.
1243 valloc_base = VALLOC_BASE;
1293 valloc_base = segkpm_base + P2ROUNDUP(kpm_resv_amount, ONE_GIG);
1294 if (valloc_base < segkpm_base)
1296 PRM_DEBUG(valloc_base);
1299 valloc_base = (uintptr_t)(MISC_VA_BASE - valloc_sz);
1300 valloc_base = P2ALIGN(valloc_base, mmu.level_size[1]);
1301 PRM_DEBUG(valloc_base);
1394 boot_mapin((caddr_t)valloc_base, valloc_sz);
1448 core_base = valloc_base;
1901 if ((uintptr_t)kpm_vbase + kpm_size > (uintptr_t)valloc_base)
1910 segkp_base = (caddr_t)valloc_base + valloc_sz;
2107 toxic_bit_map_len = btop((ulong_t)(valloc_base - kernelbase));
2779 (void) seg_attach(&kas, (caddr_t)valloc_base, valloc_sz, &kvalloc);
3311 ASSERT(v + size <= valloc_base);
3333 ASSERT(v + size <= valloc_base);
3369 if (v >= valloc_base || eaddr < kernelbase)