Searched refs:segkp_base (Results 1 – 1 of 1) sorted by relevance
303 caddr_t segkp_base; /* Base address of segkp */ variable1794 segkp_base = (caddr_t)valloc_base + valloc_sz; in layout_kernel_va()1810 PRM_DEBUG(segkp_base); in layout_kernel_va()1820 segkvmm_base = segkp_base + mmu_ptob(segkpsize); in layout_kernel_va()2029 } else if (seg_attach(&kas, (caddr_t)segkp_base, mmu_ptob(segkpsize), in startup_vm()