609 uintptr_t valloc_base;  variable
631 	PRM_DEBUG(valloc_base);  in perform_allocations()
634 	mem = BOP_ALLOC(bootops, (caddr_t)valloc_base, valloc_sz, valloc_align);  in perform_allocations()
635 	if (mem != (caddr_t)valloc_base)  in perform_allocations()
1202 	valloc_base = VALLOC_BASE;  in startup_memlist()
1243 		valloc_base = segkpm_base + P2ROUNDUP(physmem_bytes, ONE_GIG);  in startup_memlist()
1244 		if (valloc_base < segkpm_base)  in startup_memlist()
1249 	PRM_DEBUG(valloc_base);  in startup_memlist()
1341 	boot_mapin((caddr_t)valloc_base, valloc_sz);  in startup_memlist()
1788 	if ((uintptr_t)kpm_vbase + kpm_size > (uintptr_t)valloc_base)  in layout_kernel_va()
1793 	segkp_base = (caddr_t)valloc_base + valloc_sz;  in layout_kernel_va()
2638 	(void) seg_attach(&kas, (caddr_t)valloc_base, valloc_sz, &kvalloc);  in kvm_init()