638 size_t valloc_sz = 0;  variable
647 		valloc_sz += size;					\
662 	PRM_DEBUG(valloc_sz);  in perform_allocations()
664 	mem = BOP_ALLOC(bootops, (caddr_t)valloc_base, valloc_sz, valloc_align);  in perform_allocations()
667 	bzero(mem, valloc_sz);  in perform_allocations()
1178 	valloc_sz = ROUND_UP_LPAGE(valloc_sz);  in startup_memlist()
1210 	valloc_base = (uintptr_t)(MISC_VA_BASE - valloc_sz);  in startup_memlist()
1305 	boot_mapin((caddr_t)valloc_base, valloc_sz);  in startup_memlist()
1309 	PRM_DEBUG(valloc_sz);  in startup_memlist()
1356 		kernelbase -= ROUND_UP_4MEG(2 * valloc_sz);  in startup_kmem()
1798 	segkp_base = (caddr_t)valloc_base + valloc_sz;  in layout_kernel_va()
2671 	(void) seg_attach(&kas, (caddr_t)valloc_base, valloc_sz, &kvalloc);  in kvm_init()