639 uintptr_t valloc_base;  variable
661 	PRM_DEBUG(valloc_base);  in perform_allocations()
664 	mem = BOP_ALLOC(bootops, (caddr_t)valloc_base, valloc_sz, valloc_align);  in perform_allocations()
665 	if (mem != (caddr_t)valloc_base)  in perform_allocations()
1179 	valloc_base = VALLOC_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()
1207 		PRM_DEBUG(valloc_base);  in startup_memlist()
1210 	valloc_base = (uintptr_t)(MISC_VA_BASE - valloc_sz);  in startup_memlist()
1211 	valloc_base = P2ALIGN(valloc_base, mmu.level_size[1]);  in startup_memlist()
1212 	PRM_DEBUG(valloc_base);  in startup_memlist()
1305 	boot_mapin((caddr_t)valloc_base, valloc_sz);  in startup_memlist()
1359 	core_base = valloc_base;  in startup_kmem()
1789 	if ((uintptr_t)kpm_vbase + kpm_size > (uintptr_t)valloc_base)  in layout_kernel_va()
1798 	segkp_base = (caddr_t)valloc_base + valloc_sz;  in layout_kernel_va()
1999 	toxic_bit_map_len = btop((ulong_t)(valloc_base - kernelbase));  in startup_vm()
2671 	(void) seg_attach(&kas, (caddr_t)valloc_base, valloc_sz, &kvalloc);  in kvm_init()
3203 	ASSERT(v + size <= valloc_base);  in device_arena_alloc()
3225 	ASSERT(v + size <= valloc_base);  in device_arena_free()
3261 	if (v >= valloc_base || eaddr < kernelbase)  in device_arena_contains()