639 size_t valloc_sz = 0;  variable
648 		valloc_sz += size;					\
663 	PRM_DEBUG(valloc_sz);  in perform_allocations()
665 	mem = BOP_ALLOC(bootops, (caddr_t)valloc_base, valloc_sz, valloc_align);  in perform_allocations()
668 	bzero(mem, valloc_sz);  in perform_allocations()
1180 	valloc_sz = ROUND_UP_LPAGE(valloc_sz);  in startup_memlist()
1212 	valloc_base = (uintptr_t)(MISC_VA_BASE - valloc_sz);  in startup_memlist()
1307 	boot_mapin((caddr_t)valloc_base, valloc_sz);  in startup_memlist()
1311 	PRM_DEBUG(valloc_sz);  in startup_memlist()
1358 		kernelbase -= ROUND_UP_4MEG(2 * valloc_sz);  in startup_kmem()
1800 	segkp_base = (caddr_t)valloc_base + valloc_sz;  in layout_kernel_va()
2673 	(void) seg_attach(&kas, (caddr_t)valloc_base, valloc_sz, &kvalloc);  in kvm_init()