Lines Matching refs:ASSERT
252 ASSERT(lpgaddr >= (seg)->s_base); \
255 ASSERT(lpgeaddr > lpgaddr); \
256 ASSERT(lpgeaddr <= (seg)->s_base + (seg)->s_size); \
513 ASSERT(vp->v_mpssdata == NULL || in segvn_setvnode_mpss()
554 ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as)); in segvn_create()
674 ASSERT(!trok || !use_rgn); in segvn_create()
757 ASSERT(pseg->s_szc == 0 || in segvn_create()
796 ASSERT(nseg->s_szc == 0 || in segvn_create()
843 ASSERT(vn_is_mapped(svd->vp, V_WRITE)); in segvn_create()
958 ASSERT(anon_get_ptr(amp->ahp, in segvn_create()
963 ASSERT(seg->s_szc == 0); in segvn_create()
964 ASSERT(!IS_VMODSORT(pp->p_vnode)); in segvn_create()
966 ASSERT(use_rgn == 0); in segvn_create()
972 ASSERT(seg->s_szc == 0); in segvn_create()
992 ASSERT(!trok); in segvn_create()
993 ASSERT(svd->amp == NULL); in segvn_create()
1000 ASSERT(!trok || !(svd->prot & PROT_WRITE)); in segvn_create()
1024 ASSERT(seg1->s_as && seg2->s_as && seg1->s_as == seg2->s_as); in segvn_concat()
1025 ASSERT(AS_WRITE_HELD(seg1->s_as)); in segvn_concat()
1026 ASSERT(seg1->s_ops == seg2->s_ops); in segvn_concat()
1075 ASSERT(amp1 == NULL || amp1->refcnt >= 2); in segvn_concat()
1113 ASSERT(svd1->swresv == seg1->s_size); in segvn_concat()
1114 ASSERT(!(svd1->flags & MAP_NORESERVE)); in segvn_concat()
1115 ASSERT(!(svd2->flags & MAP_NORESERVE)); in segvn_concat()
1123 ASSERT(svd2->swresv == seg2->s_size); in segvn_concat()
1124 ASSERT(!(svd1->flags & MAP_NORESERVE)); in segvn_concat()
1125 ASSERT(!(svd2->flags & MAP_NORESERVE)); in segvn_concat()
1133 ASSERT((vpage1 != NULL || vpage2 != NULL) || in segvn_concat()
1142 ASSERT(amp1 == amp2 && svd1->vp == NULL); in segvn_concat()
1144 ASSERT(amp1->refcnt >= 2); in segvn_concat()
1153 ASSERT(svd1->type == MAP_PRIVATE); in segvn_concat()
1168 ASSERT(amp1->refcnt == 1); in segvn_concat()
1181 ASSERT(amp2->refcnt == 1); in segvn_concat()
1202 ASSERT(amp1 == NULL); in segvn_concat()
1270 ASSERT(seg1->s_as && AS_WRITE_HELD(seg1->s_as));
1348 ASSERT(!(svd1->flags & MAP_NORESERVE));
1349 ASSERT(swresv == seg2->s_size);
1356 ASSERT(svd1->vpage != NULL || svd1->pageswap == 0);
1364 ASSERT(vn_is_mapped(svd1->vp, V_WRITE));
1391 ASSERT(seg2->s_as && AS_WRITE_HELD(seg2->s_as)); in segvn_extend_next()
1469 ASSERT(!(svd2->flags & MAP_NORESERVE)); in segvn_extend_next()
1470 ASSERT(swresv == seg1->s_size); in segvn_extend_next()
1477 ASSERT(svd2->vpage != NULL || svd2->pageswap == 0); in segvn_extend_next()
1487 ASSERT(vn_is_mapped(svd2->vp, V_WRITE)); in segvn_extend_next()
1578 ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as)); in segvn_dup()
1579 ASSERT(newseg->s_as->a_proc->p_parent == curproc); in segvn_dup()
1632 ASSERT(!HAT_IS_REGION_COOKIE_VALID(svd->rcookie) || in segvn_dup()
1635 ASSERT(newsvd->vp != NULL && amp != NULL); in segvn_dup()
1644 ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE); in segvn_dup()
1645 ASSERT(svd->tr_state == SEGVN_TR_OFF); in segvn_dup()
1648 ASSERT(svd->svn_inz == SEGVN_INZ_NONE); in segvn_dup()
1664 ASSERT(svd->svn_inz == SEGVN_INZ_NONE || in segvn_dup()
1769 ASSERT(newsvd->amp == NULL); in segvn_dup()
1770 ASSERT(newsvd->tr_state == SEGVN_TR_OFF); in segvn_dup()
1792 ASSERT(eaddr > saddr); in segvn_hat_rgn_unload_callback()
1793 ASSERT(saddr >= r_saddr); in segvn_hat_rgn_unload_callback()
1794 ASSERT(saddr < r_saddr + r_size); in segvn_hat_rgn_unload_callback()
1795 ASSERT(eaddr > r_saddr); in segvn_hat_rgn_unload_callback()
1796 ASSERT(eaddr <= r_saddr + r_size); in segvn_hat_rgn_unload_callback()
1797 ASSERT(vp != NULL); in segvn_hat_rgn_unload_callback()
1820 ASSERT(svd->vp != NULL); in segvn_hat_unload_callback()
1821 ASSERT(cb->hcb_end_addr > cb->hcb_start_addr); in segvn_hat_unload_callback()
1822 ASSERT(cb->hcb_start_addr >= seg->s_base); in segvn_hat_unload_callback()
1841 ASSERT(svd->pageswap); in segvn_count_swap_by_vpages()
1842 ASSERT(svd->vpage != NULL); in segvn_count_swap_by_vpages()
1875 ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as)); in segvn_unmap()
1883 ASSERT(svd->tr_state == SEGVN_TR_OFF); in segvn_unmap()
1919 ASSERT(seg->s_base != addr || seg->s_size != len); in segvn_unmap()
1921 ASSERT(svd->amp == NULL); in segvn_unmap()
1922 ASSERT(svd->tr_state == SEGVN_TR_OFF); in segvn_unmap()
1935 ASSERT(svd->amp != NULL); in segvn_unmap()
1937 ASSERT(svd->amp == NULL); in segvn_unmap()
1938 ASSERT(svd->tr_state == SEGVN_TR_OFF); in segvn_unmap()
1972 ASSERT(svd->amp == NULL); in segvn_unmap()
1973 ASSERT(svd->tr_state == SEGVN_TR_OFF); in segvn_unmap()
1974 ASSERT(svd->type == MAP_PRIVATE); in segvn_unmap()
1979 ASSERT(svd->amp != NULL); in segvn_unmap()
1980 ASSERT(svd->pageprot == 0 && !(svd->prot & PROT_WRITE)); in segvn_unmap()
1982 ASSERT(svd->amp == NULL && svd->tr_state == SEGVN_TR_OFF); in segvn_unmap()
1985 ASSERT(svd->tr_state == SEGVN_TR_INIT); in segvn_unmap()
2019 ASSERT(amp == NULL || amp->a_szc >= seg->s_szc); in segvn_unmap()
2047 ASSERT(amp->refcnt == 1); in segvn_unmap()
2048 ASSERT(svd->softlockcnt == 0); in segvn_unmap()
2065 ASSERT(svd->type == MAP_SHARED); in segvn_unmap()
2066 ASSERT(amp->a_szc > seg->s_szc); in segvn_unmap()
2093 ASSERT(amp); in segvn_unmap()
2110 ASSERT(oswresv >= svd->swresv); in segvn_unmap()
2114 ASSERT(svd->swresv == seg->s_size); in segvn_unmap()
2159 ASSERT(amp->refcnt == 1); in segvn_unmap()
2160 ASSERT(svd->softlockcnt == 0); in segvn_unmap()
2174 ASSERT(svd->type == MAP_SHARED); in segvn_unmap()
2175 ASSERT(amp->a_szc > seg->s_szc); in segvn_unmap()
2198 ASSERT(amp); in segvn_unmap()
2214 ASSERT(oswresv >= svd->swresv); in segvn_unmap()
2218 ASSERT(svd->swresv == seg->s_size); in segvn_unmap()
2256 ASSERT(nsvd->rcookie == HAT_INVALID_REGION_COOKIE); in segvn_unmap()
2313 ASSERT(amp->refcnt == 1); in segvn_unmap()
2314 ASSERT(svd->softlockcnt == 0); in segvn_unmap()
2327 ASSERT(svd->type == MAP_SHARED); in segvn_unmap()
2328 ASSERT(amp->a_szc > seg->s_szc); in segvn_unmap()
2352 ASSERT(svd->type == MAP_PRIVATE); in segvn_unmap()
2371 ASSERT(amp); in segvn_unmap()
2377 ASSERT(oswresv >= (svd->swresv + nsvd->swresv)); in segvn_unmap()
2390 ASSERT(oswresv >= (svd->swresv + nsvd->swresv)); in segvn_unmap()
2425 ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as)); in segvn_free()
2426 ASSERT(svd->tr_state == SEGVN_TR_OFF); in segvn_free()
2428 ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE); in segvn_free()
2451 ASSERT(amp->a_szc >= seg->s_szc); in segvn_free()
2473 ASSERT(svd->softlockcnt == 0); in segvn_free()
2549 ASSERT(svd->softlockcnt == 0); in segvn_free()
2575 ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as)); in segvn_softunlock()
2576 ASSERT(SEGVN_LOCK_HELD(seg->s_as, &svd->lock)); in segvn_softunlock()
2582 ASSERT(svd->tr_state == SEGVN_TR_OFF); in segvn_softunlock()
2631 ASSERT(svd->softlockcnt >= btop(len)); in segvn_softunlock()
2733 ASSERT(SEGVN_READ_HELD(seg->s_as, &svd->lock)); in segvn_faultpage()
2734 ASSERT(seg->s_szc == 0); in segvn_faultpage()
2735 ASSERT(svd->tr_state != SEGVN_TR_INIT); in segvn_faultpage()
2777 ASSERT(RW_READ_HELD(&->a_rwlock)); in segvn_faultpage()
2812 ASSERT(pp->p_szc == 0); in segvn_faultpage()
2864 ASSERT(svd->type == MAP_PRIVATE); in segvn_faultpage()
2879 ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE); in segvn_faultpage()
2928 ASSERT(opp->p_vnode == svd->vp); /* XXX */ in segvn_faultpage()
2940 ASSERT(PAGE_LOCKED(opp)); in segvn_faultpage()
2953 ASSERT(svd->tr_state == SEGVN_TR_OFF); in segvn_faultpage()
2959 ASSERT(amp != NULL); in segvn_faultpage()
2960 ASSERT(svd->vp != NULL); in segvn_faultpage()
2961 ASSERT(rw != S_WRITE); in segvn_faultpage()
2986 ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE || in segvn_faultpage()
2988 ASSERT(amp == NULL || in segvn_faultpage()
3002 ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE); in segvn_faultpage()
3006 ASSERT(amp != NULL && anon_lock); in segvn_faultpage()
3037 ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE); in segvn_faultpage()
3105 ASSERT(pp->p_szc == 0); in segvn_faultpage()
3107 ASSERT(!IS_VMODSORT(pp->p_vnode)); in segvn_faultpage()
3115 ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE); in segvn_faultpage()
3121 ASSERT(anon_lock); in segvn_faultpage()
3153 ASSERT(repl_szc != 0); in segvn_relocate_pages()
3160 ASSERT(replacement != NULL); in segvn_relocate_pages()
3162 ASSERT(pp->p_szc < repl_szc); in segvn_relocate_pages()
3163 ASSERT(PAGE_EXCL(pp)); in segvn_relocate_pages()
3164 ASSERT(!PP_ISFREE(pp)); in segvn_relocate_pages()
3170 ASSERT(PAGE_EXCL(repl)); in segvn_relocate_pages()
3171 ASSERT(!PP_ISFREE(repl)); in segvn_relocate_pages()
3172 ASSERT(repl->p_szc == repl_szc); in segvn_relocate_pages()
3181 ASSERT(PAGE_EXCL(repl)); in segvn_relocate_pages()
3182 ASSERT(!PP_ISFREE(repl)); in segvn_relocate_pages()
3183 ASSERT(repl->p_szc == repl_szc); in segvn_relocate_pages()
3184 ASSERT(page_pptonum(targ[i + j]) == in segvn_relocate_pages()
3188 ASSERT(IS_P2ALIGNED(page_pptonum(repl), curnpgs)); in segvn_relocate_pages()
3196 ASSERT(curnpgs <= repl_npgs); in segvn_relocate_pages()
3200 ASSERT(replacement == NULL); in segvn_relocate_pages()
3205 ASSERT(PAGE_EXCL(repl)); in segvn_relocate_pages()
3206 ASSERT(!PP_ISFREE(repl)); in segvn_relocate_pages()
3243 ASSERT(szc > 0); in segvn_full_szcpages()
3249 ASSERT(PAGE_SHARED(pp)); in segvn_full_szcpages()
3250 ASSERT(!PP_ISFREE(pp)); in segvn_full_szcpages()
3287 ASSERT(i > 0); in segvn_full_szcpages()
3304 ASSERT(ppa[i]->p_szc < szc); in segvn_full_szcpages()
3333 ASSERT(PAGE_EXCL(ppa[i])); in segvn_full_szcpages()
3389 ASSERT(szc != 0); in segvn_fill_vp_pages()
3390 ASSERT(pplist->p_szc == szc); in segvn_fill_vp_pages()
3403 ASSERT(newpp != NULL); in segvn_fill_vp_pages()
3404 ASSERT(PAGE_EXCL(newpp)); in segvn_fill_vp_pages()
3405 ASSERT(!PP_ISFREE(newpp)); in segvn_fill_vp_pages()
3414 ASSERT(pp != NULL); in segvn_fill_vp_pages()
3415 ASSERT(!PP_ISFREE(pp)); in segvn_fill_vp_pages()
3416 ASSERT(pp->p_vnode == vp); in segvn_fill_vp_pages()
3417 ASSERT(pp->p_offset == off); in segvn_fill_vp_pages()
3421 ASSERT(PAGE_EXCL(pp)); in segvn_fill_vp_pages()
3422 ASSERT(page_iolock_assert(pp)); in segvn_fill_vp_pages()
3432 ASSERT(repl_pplist == NULL); in segvn_fill_vp_pages()
3433 ASSERT(done_pplist == NULL); in segvn_fill_vp_pages()
3434 ASSERT(pplist == *ppplist); in segvn_fill_vp_pages()
3449 ASSERT(pszc > 0); in segvn_fill_vp_pages()
3459 ASSERT(pszc > 0); in segvn_fill_vp_pages()
3515 ASSERT(page_iolock_assert(pp)); in segvn_fill_vp_pages()
3519 ASSERT(pgidx < pages); in segvn_fill_vp_pages()
3525 ASSERT(PAGE_EXCL(pp)); in segvn_fill_vp_pages()
3526 ASSERT(pp->p_szc <= pszc); in segvn_fill_vp_pages()
3581 ASSERT(page_iolock_assert(pp)); in segvn_fill_vp_pages()
3584 ASSERT(pgidx < pages); in segvn_fill_vp_pages()
3597 ASSERT(pplist == NULL); in segvn_fill_vp_pages()
3602 ASSERT(repl_pplist); in segvn_fill_vp_pages()
3612 ASSERT(IS_P2ALIGNED(pfn, ppages)); in segvn_fill_vp_pages()
3614 ASSERT(IS_P2ALIGNED(pfn, ppages)); in segvn_fill_vp_pages()
3615 ASSERT(P2PHASE(pfn, pages) == pgidx); in segvn_fill_vp_pages()
3625 ASSERT(PAGE_EXCL(pp)); in segvn_fill_vp_pages()
3626 ASSERT(pp->p_vnode == vp); in segvn_fill_vp_pages()
3627 ASSERT(pgidx == in segvn_fill_vp_pages()
3637 ASSERT(ppa[i] != NULL); in segvn_fill_vp_pages()
3638 ASSERT(PAGE_EXCL(ppa[i])); in segvn_fill_vp_pages()
3639 ASSERT(ppa[i]->p_vnode == vp); in segvn_fill_vp_pages()
3640 ASSERT(ppa[i]->p_offset == in segvn_fill_vp_pages()
3653 ASSERT(ppa[i] != NULL); in segvn_fill_vp_pages()
3654 ASSERT(PAGE_EXCL(ppa[i])); in segvn_fill_vp_pages()
3655 ASSERT(ppa[i]->p_vnode == vp); in segvn_fill_vp_pages()
3656 ASSERT(ppa[i]->p_offset == in segvn_fill_vp_pages()
3674 ASSERT(pp->p_vnode == vp); in segvn_fill_vp_pages()
3675 ASSERT(pp->p_offset == io_off); in segvn_fill_vp_pages()
3676 ASSERT(page_iolock_assert(pp)); in segvn_fill_vp_pages()
3688 ASSERT(PAGE_EXCL(pp)); in segvn_fill_vp_pages()
3693 ASSERT(IS_P2ALIGNED(page_pptonum(pp), ppages)); in segvn_fill_vp_pages()
3701 ASSERT(pp != NULL); in segvn_fill_vp_pages()
3702 ASSERT(PAGE_EXCL(pp)); in segvn_fill_vp_pages()
3703 ASSERT(pp->p_szc == szc); in segvn_fill_vp_pages()
3706 ASSERT(IS_P2ALIGNED(page_pptonum(pp), ppages)); in segvn_fill_vp_pages()
3713 ASSERT(PAGE_EXCL(pp)); in segvn_fill_vp_pages()
3714 ASSERT(pp->p_szc == szc); in segvn_fill_vp_pages()
3728 ASSERT(pplist != NULL); in segvn_fill_vp_pages()
3734 ASSERT(pp->p_szc == szc); in segvn_fill_vp_pages()
3735 ASSERT(PAGE_EXCL(pp)); in segvn_fill_vp_pages()
3736 ASSERT(pp->p_vnode != vp); in segvn_fill_vp_pages()
3743 ASSERT(pp->p_szc == szc); in segvn_fill_vp_pages()
3744 ASSERT(PAGE_EXCL(pp)); in segvn_fill_vp_pages()
3745 ASSERT(pp->p_vnode == vp); in segvn_fill_vp_pages()
3765 ASSERT(pplist == *ppplist); in segvn_fill_vp_pages()
3795 ASSERT((ppa)[i]->p_vnode == \
3802 ASSERT((ppa)[i]->p_vnode == \
3867 ASSERT(szc != 0); in segvn_fault_vnodepages()
3868 ASSERT(vp != NULL); in segvn_fault_vnodepages()
3869 ASSERT(brkcow == 0 || amp != NULL); in segvn_fault_vnodepages()
3870 ASSERT(tron == 0 || amp != NULL); in segvn_fault_vnodepages()
3871 ASSERT(enable_mbit_wa == 0); /* no mbit simulations with large pages */ in segvn_fault_vnodepages()
3872 ASSERT(!(svd->flags & MAP_NORESERVE)); in segvn_fault_vnodepages()
3873 ASSERT(type != F_SOFTUNLOCK); in segvn_fault_vnodepages()
3874 ASSERT(IS_P2ALIGNED(a, maxpgsz)); in segvn_fault_vnodepages()
3875 ASSERT(amp == NULL || IS_P2ALIGNED(aindx, maxpages)); in segvn_fault_vnodepages()
3876 ASSERT(SEGVN_LOCK_HELD(seg->s_as, &svd->lock)); in segvn_fault_vnodepages()
3877 ASSERT(seg->s_szc < NBBY * sizeof (int)); in segvn_fault_vnodepages()
3878 ASSERT(type != F_SOFTLOCK || lpgeaddr - a == maxpgsz); in segvn_fault_vnodepages()
3879 ASSERT(svd->tr_state != SEGVN_TR_INIT); in segvn_fault_vnodepages()
3949 ASSERT(IS_P2ALIGNED(aindx, maxpages)); in segvn_fault_vnodepages()
3954 ASSERT(anon_pages(amp->ahp, aindx, in segvn_fault_vnodepages()
3974 ASSERT(anon_pages(amp->ahp, aindx, in segvn_fault_vnodepages()
3981 ASSERT(!brkcow || IS_P2ALIGNED(a, maxpgsz)); in segvn_fault_vnodepages()
3982 ASSERT(!tron || IS_P2ALIGNED(a, maxpgsz)); in segvn_fault_vnodepages()
3985 ASSERT(vpage != NULL); in segvn_fault_vnodepages()
3987 ASSERT(sameprot(seg, a, maxpgsz)); in segvn_fault_vnodepages()
4021 ASSERT(!physcontig || pplist == NULL); in segvn_fault_vnodepages()
4024 ASSERT(pplist == NULL); in segvn_fault_vnodepages()
4029 ASSERT(!physcontig || in segvn_fault_vnodepages()
4038 ASSERT(segtype == MAP_PRIVATE); in segvn_fault_vnodepages()
4051 ASSERT(PAGE_LOCKED(ppa[i])); in segvn_fault_vnodepages()
4052 ASSERT(!PP_ISFREE(ppa[i])); in segvn_fault_vnodepages()
4053 ASSERT(ppa[i]->p_vnode == vp); in segvn_fault_vnodepages()
4054 ASSERT(ppa[i]->p_offset == in segvn_fault_vnodepages()
4064 ASSERT(segtype == MAP_PRIVATE); in segvn_fault_vnodepages()
4107 ASSERT(szc != 0); in segvn_fault_vnodepages()
4122 ASSERT(anon_pages(amp->ahp, taindx, in segvn_fault_vnodepages()
4150 ASSERT(!brkcow && !tron && in segvn_fault_vnodepages()
4156 ASSERT(IS_P2ALIGNED(a, maxpgsz)); in segvn_fault_vnodepages()
4162 ASSERT(!anon_pages(amp->ahp, taindx, maxpages)); in segvn_fault_vnodepages()
4167 ASSERT(amp != NULL); in segvn_fault_vnodepages()
4168 ASSERT(pplist == NULL); in segvn_fault_vnodepages()
4169 ASSERT(szc == seg->s_szc); in segvn_fault_vnodepages()
4170 ASSERT(IS_P2ALIGNED(a, maxpgsz)); in segvn_fault_vnodepages()
4171 ASSERT(IS_P2ALIGNED(aindx, maxpages)); in segvn_fault_vnodepages()
4185 ASSERT(!IS_VMODSORT(ppa[0]->p_vnode)); in segvn_fault_vnodepages()
4190 ASSERT(svd->rcookie == in segvn_fault_vnodepages()
4206 ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE || in segvn_fault_vnodepages()
4241 ASSERT(PAGE_LOCKED(ppa[i])); in segvn_fault_vnodepages()
4242 ASSERT(!PP_ISFREE(ppa[i])); in segvn_fault_vnodepages()
4243 ASSERT(page_pptonum(ppa[i]) == in segvn_fault_vnodepages()
4245 ASSERT(ppa[i]->p_szc == szc); in segvn_fault_vnodepages()
4246 ASSERT(ppa[i]->p_vnode == vp); in segvn_fault_vnodepages()
4247 ASSERT(ppa[i]->p_offset == in segvn_fault_vnodepages()
4311 ASSERT(type != F_SOFTLOCK); in segvn_fault_vnodepages()
4352 ASSERT(pszc < szc); in segvn_fault_vnodepages()
4411 ASSERT(pszc == ppa[0]->p_szc); in segvn_fault_vnodepages()
4412 ASSERT(IS_P2ALIGNED(pfn, pages)); in segvn_fault_vnodepages()
4429 ASSERT(szcmtx != NULL || pszc == 0); in segvn_fault_vnodepages()
4430 ASSERT(ppa[0]->p_szc <= pszc); in segvn_fault_vnodepages()
4492 ASSERT(type == F_SOFTLOCK); in segvn_fault_vnodepages()
4500 ASSERT(type == F_SOFTLOCK); in segvn_fault_vnodepages()
4502 ASSERT(ppa[i]->p_szc < szc); in segvn_fault_vnodepages()
4509 ASSERT(pplist != NULL || type == F_SOFTLOCK); in segvn_fault_vnodepages()
4515 ASSERT(PAGE_SHARED(ppa[i])); in segvn_fault_vnodepages()
4532 ASSERT(a < lpgeaddr); in segvn_fault_vnodepages()
4534 ASSERT(!brkcow && !tron && type != F_SOFTLOCK); in segvn_fault_vnodepages()
4545 ASSERT(ierr == -1 || ierr == -2); in segvn_fault_vnodepages()
4546 ASSERT(ierr == -2 || szc != 0); in segvn_fault_vnodepages()
4547 ASSERT(ierr == -1 || szc < seg->s_szc); in segvn_fault_vnodepages()
4550 ASSERT(pszc > szc && pszc <= seg->s_szc); in segvn_fault_vnodepages()
4557 ASSERT(pszc < szc); in segvn_fault_vnodepages()
4573 ASSERT(a >= lpgaddr); in segvn_fault_vnodepages()
4584 ASSERT(IS_P2ALIGNED(a, pgsz)); in segvn_fault_vnodepages()
4585 ASSERT(IS_P2ALIGNED(lpgeaddr, pgsz)); in segvn_fault_vnodepages()
4587 ASSERT(a < lpgeaddr); in segvn_fault_vnodepages()
4597 ASSERT(a >= lpgaddr); in segvn_fault_vnodepages()
4620 ASSERT(brkcow || tron || type == F_SOFTLOCK); in segvn_fault_vnodepages()
4636 ASSERT(svd->softlockcnt == 0); in segvn_fault_vnodepages()
4642 ASSERT(err || seg->s_szc == 0); in segvn_fault_vnodepages()
4681 ASSERT(szc != 0); in segvn_fault_anonpages()
4682 ASSERT(amp != NULL); in segvn_fault_anonpages()
4683 ASSERT(enable_mbit_wa == 0); /* no mbit simulations with large pages */ in segvn_fault_anonpages()
4684 ASSERT(!(svd->flags & MAP_NORESERVE)); in segvn_fault_anonpages()
4685 ASSERT(type != F_SOFTUNLOCK); in segvn_fault_anonpages()
4686 ASSERT(IS_P2ALIGNED(a, maxpgsz)); in segvn_fault_anonpages()
4687 ASSERT(!brkcow || svd->tr_state == SEGVN_TR_OFF); in segvn_fault_anonpages()
4688 ASSERT(svd->tr_state != SEGVN_TR_INIT); in segvn_fault_anonpages()
4690 ASSERT(SEGVN_LOCK_HELD(seg->s_as, &svd->lock)); in segvn_fault_anonpages()
4728 ASSERT(vpage != NULL); in segvn_fault_anonpages()
4730 ASSERT(sameprot(seg, a, maxpgsz)); in segvn_fault_anonpages()
4738 ASSERT(a > lpgaddr); in segvn_fault_anonpages()
4742 ASSERT(IS_P2ALIGNED(aindx, pages)); in segvn_fault_anonpages()
4771 ASSERT(!IS_VMODSORT(ppa[0]->p_vnode)); in segvn_fault_anonpages()
4773 ASSERT(segtype == MAP_SHARED || in segvn_fault_anonpages()
4775 ASSERT(segtype == MAP_PRIVATE || in segvn_fault_anonpages()
4784 ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE); in segvn_fault_anonpages()
4808 ASSERT(a < lpgeaddr); in segvn_fault_anonpages()
4824 ASSERT(ierr == -1 || ierr == -2); in segvn_fault_anonpages()
4827 ASSERT(ierr == -2 || szc != 0); in segvn_fault_anonpages()
4828 ASSERT(ierr == -1 || szc < seg->s_szc); in segvn_fault_anonpages()
4844 ASSERT(ppa_szc <= seg->s_szc); in segvn_fault_anonpages()
4845 ASSERT(ierr == -2 || ppa_szc < szc); in segvn_fault_anonpages()
4846 ASSERT(ierr == -1 || ppa_szc > szc); in segvn_fault_anonpages()
4853 ASSERT(type != F_SOFTLOCK || ierr == -1 || in segvn_fault_anonpages()
4873 ASSERT(a >= lpgaddr); in segvn_fault_anonpages()
4884 ASSERT(IS_P2ALIGNED(a, pgsz)); in segvn_fault_anonpages()
4885 ASSERT(IS_P2ALIGNED(lpgeaddr, pgsz)); in segvn_fault_anonpages()
4887 ASSERT(a < lpgeaddr); in segvn_fault_anonpages()
4897 ASSERT(a >= lpgaddr); in segvn_fault_anonpages()
4964 ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as)); in segvn_fault()
4965 ASSERT(svd->amp == NULL || svd->rcookie == HAT_INVALID_REGION_COOKIE); in segvn_fault()
4973 ASSERT(AS_WRITE_HELD(seg->s_as)); in segvn_fault()
4985 ASSERT(svd->tr_state == SEGVN_TR_OFF || in segvn_fault()
4991 ASSERT(svd->vp != NULL && svd->amp == NULL); in segvn_fault()
4992 ASSERT(svd->flags & MAP_TEXT); in segvn_fault()
4993 ASSERT(svd->type == MAP_PRIVATE); in segvn_fault()
4995 ASSERT(svd->tr_state != SEGVN_TR_INIT); in segvn_fault()
4996 ASSERT(svd->tr_state != SEGVN_TR_ON || in segvn_fault()
5005 ASSERT(!svd->pageprot && !(svd->prot & PROT_WRITE)); in segvn_fault()
5011 ASSERT(svd->vp != NULL && svd->amp != NULL); in segvn_fault()
5013 ASSERT(svd->amp == NULL && in segvn_fault()
5018 ASSERT(svd->amp == NULL && svd->tr_state == SEGVN_TR_OFF); in segvn_fault()
5058 ASSERT(svd->amp == NULL); in segvn_fault()
5059 ASSERT(svd->tr_state == SEGVN_TR_OFF); in segvn_fault()
5067 ASSERT(svd->softlockcnt == 0); in segvn_fault()
5118 ASSERT(demote || AS_WRITE_HELD(seg->s_as)); in segvn_fault()
5125 ASSERT(svd->softlockcnt == 0); in segvn_fault()
5133 ASSERT(seg->s_szc == 0); in segvn_fault()
5143 ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE); in segvn_fault()
5171 ASSERT(type == F_SOFTLOCK); in segvn_fault()
5172 ASSERT(AS_WRITE_HELD(seg->s_as)); in segvn_fault()
5183 ASSERT(SEGVN_LOCK_HELD(seg->s_as, &svd->lock)); in segvn_fault()
5192 ASSERT(seg->s_szc == 0); in segvn_fault()
5193 ASSERT(SEGVN_READ_HELD(seg->s_as, &svd->lock)); in segvn_fault()
5204 ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE); in segvn_fault()
5422 ASSERT((addr + plsz) <= in segvn_fault()
5575 ASSERT(svd->vp == pp->p_vnode); in segvn_fault()
5607 ASSERT(amp == NULL || in segvn_fault()
5643 ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as)); in segvn_faulta()
5700 ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as)); in segvn_setprot()
5719 ASSERT(svd->tr_state == SEGVN_TR_OFF); in segvn_setprot()
5744 ASSERT(svd->amp == NULL); in segvn_setprot()
5745 ASSERT(svd->tr_state == SEGVN_TR_OFF); in segvn_setprot()
5753 ASSERT(svd->amp != NULL); in segvn_setprot()
5755 ASSERT(svd->amp == NULL && svd->tr_state == SEGVN_TR_OFF); in segvn_setprot()
5761 ASSERT(vn_is_mapped(svd->vp, V_WRITE)); in segvn_setprot()
5768 ASSERT(IS_P2ALIGNED(pgcnt, pgcnt)); in segvn_setprot()
5771 ASSERT(seg->s_base != addr || seg->s_size != len); in segvn_setprot()
5880 ASSERT(svd->vpage != NULL); in segvn_setprot()
5899 ASSERT(svd->pageswap == 0); in segvn_setprot()
5939 ASSERT(seg->s_szc == 0 || in segvn_setprot()
5993 ASSERT(seg->s_szc == 0); in segvn_setprot()
6031 ASSERT(seg->s_szc == 0 || IS_P2ALIGNED(len, pgsz)); in segvn_setprot()
6103 ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as)); in segvn_setpagesize()
6104 ASSERT(addr >= seg->s_base && eaddr <= seg->s_base + seg->s_size); in segvn_setpagesize()
6174 ASSERT(svd->tr_state == SEGVN_TR_OFF); in segvn_setpagesize()
6197 ASSERT(svd->amp == NULL); in segvn_setpagesize()
6198 ASSERT(svd->tr_state == SEGVN_TR_OFF); in segvn_setpagesize()
6205 ASSERT(svd->amp != NULL); in segvn_setpagesize()
6207 ASSERT(svd->amp == NULL && svd->tr_state == SEGVN_TR_OFF); in segvn_setpagesize()
6250 ASSERT(seg->s_szc == 0); in segvn_setpagesize()
6285 ASSERT(nsvd->rcookie == HAT_INVALID_REGION_COOKIE); in segvn_setpagesize()
6304 ASSERT(svd->type == MAP_PRIVATE); in segvn_setpagesize()
6307 ASSERT(amp->refcnt == 1); in segvn_setpagesize()
6391 ASSERT(AS_WRITE_HELD(seg->s_as) || in segvn_clrszc()
6393 ASSERT(svd->softlockcnt == 0); in segvn_clrszc()
6396 ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE); in segvn_clrszc()
6402 ASSERT(svd->amp == NULL); in segvn_clrszc()
6403 ASSERT(svd->tr_state == SEGVN_TR_OFF); in segvn_clrszc()
6408 ASSERT(svd->amp != NULL); in segvn_clrszc()
6410 ASSERT(svd->amp == NULL && svd->tr_state == SEGVN_TR_OFF); in segvn_clrszc()
6414 ASSERT(svd->tr_state == SEGVN_TR_INIT); in segvn_clrszc()
6443 ASSERT(vpage != NULL || svd->pageprot == 0); in segvn_clrszc()
6445 ASSERT(sameprot(seg, a, pgsz)); in segvn_clrszc()
6450 ASSERT(vp == NULL || anon_pages(amp->ahp, in segvn_clrszc()
6510 ASSERT(svd->type == MAP_PRIVATE); in segvn_claim_pages()
6511 ASSERT(svd->vpage != NULL); in segvn_claim_pages()
6512 ASSERT(seg->s_szc != 0); in segvn_claim_pages()
6513 ASSERT(IS_P2ALIGNED(pgcnt, pgcnt)); in segvn_claim_pages()
6514 ASSERT(amp == NULL || IS_P2ALIGNED(anon_idx, pgcnt)); in segvn_claim_pages()
6515 ASSERT(sameprot(seg, addr, pgcnt << PAGESHIFT)); in segvn_claim_pages()
6526 ASSERT(!anon_pages(amp->ahp, anon_idx, pgcnt)); in segvn_claim_pages()
6528 ASSERT(!anon || in segvn_claim_pages()
6543 ASSERT(vp != NULL); in segvn_claim_pages()
6557 ASSERT(pg_idx <= pgcnt); in segvn_claim_pages()
6571 ASSERT(IS_P2ALIGNED(page_pptonum(ppa[i]), pgcnt)); in segvn_claim_pages()
6582 ASSERT(ppa[i] != NULL); in segvn_claim_pages()
6603 ASSERT(AS_WRITE_HELD(seg->s_as)); in segvn_split_seg()
6604 ASSERT(svd->tr_state == SEGVN_TR_OFF); in segvn_split_seg()
6606 ASSERT(addr >= seg->s_base); in segvn_split_seg()
6607 ASSERT(addr <= seg->s_base + seg->s_size); in segvn_split_seg()
6608 ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE); in segvn_split_seg()
6616 ASSERT(nseg != NULL); in segvn_split_seg()
6622 ASSERT(nsvd->rcookie == HAT_INVALID_REGION_COOKIE); in segvn_split_seg()
6647 ASSERT(svd->softlockcnt == 0); in segvn_split_seg()
6648 ASSERT(svd->softlockcnt_sbase == 0); in segvn_split_seg()
6649 ASSERT(svd->softlockcnt_send == 0); in segvn_split_seg()
6668 ASSERT(oamp->refcnt == 1); in segvn_split_seg()
6687 ASSERT(svd->amp == nsvd->amp); in segvn_split_seg()
6688 ASSERT(seg->s_szc <= svd->amp->a_szc); in segvn_split_seg()
6690 ASSERT(IS_P2ALIGNED(nsvd->anon_index, pgcnt)); in segvn_split_seg()
6708 ASSERT(svd->amp); in segvn_split_seg()
6714 ASSERT(oswresv >= (svd->swresv + nsvd->swresv)); in segvn_split_seg()
6718 ASSERT(nsvd->swresv >= svd->swresv); in segvn_split_seg()
6721 ASSERT(svd->swresv == seg->s_size + in segvn_split_seg()
6758 ASSERT(AS_WRITE_HELD(seg->s_as)); in segvn_demote_range()
6759 ASSERT(svd->tr_state == SEGVN_TR_OFF); in segvn_demote_range()
6760 ASSERT(szc != 0); in segvn_demote_range()
6762 ASSERT(seg->s_base != addr || seg->s_size != len); in segvn_demote_range()
6763 ASSERT(addr >= seg->s_base && eaddr <= seg->s_base + seg->s_size); in segvn_demote_range()
6764 ASSERT(svd->softlockcnt == 0); in segvn_demote_range()
6765 ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE); in segvn_demote_range()
6766 ASSERT(szcvec == 0 || (flag == SDR_END && svd->type == MAP_SHARED)); in segvn_demote_range()
6769 ASSERT(flag == SDR_RANGE || eaddr < lpgeaddr || addr > lpgaddr); in segvn_demote_range()
6774 ASSERT(badseg1->s_base == lpgaddr); in segvn_demote_range()
6775 ASSERT(badseg1->s_size == lpgeaddr - lpgaddr); in segvn_demote_range()
6777 ASSERT(flag == SDR_END); in segvn_demote_range()
6782 ASSERT(badseg1->s_base == lpgaddr); in segvn_demote_range()
6783 ASSERT(badseg1->s_size == 2 * pgsz); in segvn_demote_range()
6786 ASSERT(badseg1->s_base == lpgaddr); in segvn_demote_range()
6787 ASSERT(badseg1->s_size == pgsz); in segvn_demote_range()
6789 ASSERT(lpgeaddr - lpgaddr > 2 * pgsz); in segvn_demote_range()
6793 ASSERT(badseg2->s_base == lpgeaddr - pgsz); in segvn_demote_range()
6794 ASSERT(badseg2->s_size == pgsz); in segvn_demote_range()
6798 ASSERT(flag == SDR_END); in segvn_demote_range()
6799 ASSERT(eaddr < lpgeaddr); in segvn_demote_range()
6802 ASSERT(badseg1->s_base == lpgeaddr - pgsz); in segvn_demote_range()
6803 ASSERT(badseg1->s_size == pgsz); in segvn_demote_range()
6806 ASSERT(badseg1 != NULL); in segvn_demote_range()
6807 ASSERT(badseg1->s_szc == szc); in segvn_demote_range()
6808 ASSERT(flag == SDR_RANGE || badseg1->s_size == pgsz || in segvn_demote_range()
6810 ASSERT(sameprot(badseg1, badseg1->s_base, pgsz)); in segvn_demote_range()
6811 ASSERT(badseg1->s_size == pgsz || in segvn_demote_range()
6816 ASSERT(badseg1->s_szc == 0); in segvn_demote_range()
6824 ASSERT(svd->type == MAP_SHARED); in segvn_demote_range()
6825 ASSERT(flag == SDR_END); in segvn_demote_range()
6826 ASSERT(tszc < szc && tszc > 0); in segvn_demote_range()
6834 ASSERT(ta <= te); in segvn_demote_range()
6852 ASSERT(badseg2->s_szc == szc); in segvn_demote_range()
6853 ASSERT(badseg2->s_size == pgsz); in segvn_demote_range()
6854 ASSERT(sameprot(badseg2, badseg2->s_base, badseg2->s_size)); in segvn_demote_range()
6858 ASSERT(badseg2->s_szc == 0); in segvn_demote_range()
6864 ASSERT(svd->type == MAP_SHARED); in segvn_demote_range()
6865 ASSERT(flag == SDR_END); in segvn_demote_range()
6866 ASSERT(tszc < szc && tszc > 0); in segvn_demote_range()
6867 ASSERT(badseg2->s_base > addr); in segvn_demote_range()
6868 ASSERT(eaddr > badseg2->s_base); in segvn_demote_range()
6869 ASSERT(eaddr < badseg2->s_base + badseg2->s_size); in segvn_demote_range()
6887 ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as)); in segvn_checkprot()
6921 ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as)); in segvn_getprot()
6947 ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as)); in segvn_getoffset()
6958 ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as)); in segvn_gettype()
6970 ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as)); in segvn_getvp()
6997 ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as)); in segvn_kluster()
6998 ASSERT(AS_WRITE_HELD(seg->s_as) || in segvn_kluster()
7103 ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as)); in segvn_swapout()
7148 ASSERT(ap == NULL); in segvn_swapout()
7177 ASSERT(!page_iolock_assert(pp)); in segvn_swapout()
7203 ASSERT(pp->p_szc == 0); in segvn_swapout()
7238 ASSERT(pp->p_vnode != NULL); in segvn_swapout()
7282 ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as)); in segvn_sync()
7445 ASSERT(svd->vp == NULL); in segvn_sync()
7504 ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as)); in segvn_incore()
7680 ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as)); in segvn_lockop()
7689 ASSERT(svd->type == MAP_SHARED); in segvn_lockop()
7690 ASSERT(svd->tr_state == SEGVN_TR_OFF); in segvn_lockop()
7720 ASSERT(svd->amp != NULL); in segvn_lockop()
7722 ASSERT(svd->amp == NULL && in segvn_lockop()
7752 ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE); in segvn_lockop()
7854 ASSERT(anon_get_ptr(amp->ahp, in segvn_lockop()
7908 ASSERT(vp != NULL); in segvn_lockop()
7958 ASSERT(pp != NULL); in segvn_lockop()
7987 ASSERT(!VPP_ISPPLOCK(vpp)); in segvn_lockop()
8015 ASSERT(VPP_ISPPLOCK(vpp)); in segvn_lockop()
8018 ASSERT(sp == NULL || pp->p_lckcnt > 0); in segvn_lockop()
8028 ASSERT(sp == NULL); in segvn_lockop()
8097 ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as)); in segvn_advise()
8329 ASSERT(seg->s_szc == 0); in segvn_advise()
8330 ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE); in segvn_advise()
8435 ASSERT(svd->amp == NULL); in segvn_advise()
8436 ASSERT(svd->tr_state == SEGVN_TR_OFF); in segvn_advise()
8437 ASSERT(svd->softlockcnt == 0); in segvn_advise()
8563 ASSERT(seg->s_szc == 0); in segvn_advise()
8564 ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE); in segvn_advise()
8601 ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as)); in segvn_inherit()
8673 ASSERT(SEGVN_WRITE_HELD(seg->s_as, &svd->lock)); in segvn_vpage()
8870 ASSERT(seg->s_as && AS_LOCK_HELD(seg->s_as)); in segvn_pagelock()
8871 ASSERT(type == L_PAGELOCK || type == L_PAGEUNLOCK); in segvn_pagelock()
8981 ASSERT(lpgaddr >= seg->s_base); in segvn_pagelock()
9091 ASSERT(svd->type == MAP_SHARED); in segvn_pagelock()
9101 ASSERT((*ppp)[npages] == PCACHE_SHWLIST || in segvn_pagelock()
9110 ASSERT(svd->type == MAP_SHARED); in segvn_pagelock()
9111 ASSERT(svd->softlockcnt >= npages); in segvn_pagelock()
9116 ASSERT(svd->softlockcnt_sbase > 0); in segvn_pagelock()
9120 ASSERT(svd->softlockcnt_send > 0); in segvn_pagelock()
9153 ASSERT(svd->type == MAP_PRIVATE); in segvn_pagelock()
9173 ASSERT(svd->type == MAP_SHARED); in segvn_pagelock()
9195 ASSERT(seg->s_szc == 0 || in segvn_pagelock()
9213 ASSERT(svd->type == MAP_SHARED); in segvn_pagelock()
9235 ASSERT(svd->type == MAP_PRIVATE); in segvn_pagelock()
9245 ASSERT(rw == S_READ); in segvn_pagelock()
9255 ASSERT(seg->s_szc == 0 || in segvn_pagelock()
9266 ASSERT(rw == S_READ); in segvn_pagelock()
9270 ASSERT(rw == S_READ || wlen == lpgeaddr - lpgaddr); in segvn_pagelock()
9271 ASSERT(rw == S_WRITE || wlen <= lpgeaddr - lpgaddr); in segvn_pagelock()
9317 ASSERT(amp->a_szc >= seg->s_szc); in segvn_pagelock()
9333 ASSERT(anlock == 0); in segvn_pagelock()
9360 ASSERT(anlock); in segvn_pagelock()
9391 ASSERT(anlock); in segvn_pagelock()
9405 ASSERT(svd->type == MAP_SHARED); in segvn_pagelock()
9429 ASSERT(PAGE_LOCKED(*pplist)); in segvn_pagelock()
9488 ASSERT(npages); in segvn_reclaim()
9490 ASSERT(svd->vp == NULL && svd->amp != NULL); in segvn_reclaim()
9491 ASSERT(svd->softlockcnt >= npages); in segvn_reclaim()
9492 ASSERT(async || AS_LOCK_HELD(seg->s_as)); in segvn_reclaim()
9496 ASSERT(pl[np] == NOPCACHE_SHWLIST || pl[np] == PCACHE_SHWLIST); in segvn_reclaim()
9497 ASSERT(!async || pl[np] == PCACHE_SHWLIST); in segvn_reclaim()
9564 ASSERT(npages); in shamp_reclaim()
9565 ASSERT(amp->a_softlockcnt >= npages); in shamp_reclaim()
9569 ASSERT(pl[np] == NOPCACHE_SHWLIST || pl[np] == PCACHE_SHWLIST); in shamp_reclaim()
9570 ASSERT(!async || pl[np] == PCACHE_SHWLIST); in shamp_reclaim()
9636 ASSERT(amp != NULL); in segvn_getmemid()
9650 ASSERT(anon_get_ptr(amp->ahp, anon_index) in segvn_getmemid()
9679 ASSERT(svd->vpage != NULL); in sameprot()
9706 ASSERT(seg != NULL); in segvn_getpolicy()
9720 ASSERT(policy_info->mem_policy == in segvn_getpolicy()
9770 ASSERT(AS_LOCK_HELD(seg->s_as)); in segvn_textrepl()
9771 ASSERT(SEGVN_WRITE_HELD(seg->s_as, &svd->lock)); in segvn_textrepl()
9772 ASSERT(p != NULL); in segvn_textrepl()
9773 ASSERT(svd->tr_state == SEGVN_TR_INIT); in segvn_textrepl()
9774 ASSERT(!HAT_IS_REGION_COOKIE_VALID(svd->rcookie)); in segvn_textrepl()
9775 ASSERT(svd->flags & MAP_TEXT); in segvn_textrepl()
9776 ASSERT(svd->type == MAP_PRIVATE); in segvn_textrepl()
9777 ASSERT(vp != NULL && svd->amp == NULL); in segvn_textrepl()
9778 ASSERT(!svd->pageprot && !(svd->prot & PROT_WRITE)); in segvn_textrepl()
9779 ASSERT(!(svd->flags & MAP_NORESERVE) && svd->swresv == 0); in segvn_textrepl()
9780 ASSERT(seg->s_as != &kas); in segvn_textrepl()
9781 ASSERT(off < eoff); in segvn_textrepl()
9782 ASSERT(svntr_hashtab != NULL); in segvn_textrepl()
9834 ASSERT(svntrp->tr_refcnt != 0); in segvn_textrepl()
9897 ASSERT(svntrp->tr_amp[i] == NULL); in segvn_textrepl()
9942 ASSERT(lgrp_id != LGRP_NONE && lgrp_id < NLGRPS_MAX); in segvn_textrepl()
9949 ASSERT(olid != LGRP_NONE); in segvn_textrepl()
9954 ASSERT(p->p_tr_lgrpid != LGRP_NONE); in segvn_textrepl()
9988 ASSERT(amp->refcnt == 1); in segvn_textrepl()
9994 ASSERT(svd->svn_trnext == NULL); in segvn_textrepl()
9995 ASSERT(svd->svn_trprev == NULL); in segvn_textrepl()
10002 ASSERT(amp->a_szc == szc && amp->size == size && amp->swresv == size); in segvn_textrepl()
10003 ASSERT(amp->refcnt >= 1); in segvn_textrepl()
10013 ASSERT(segvn_textrepl_bytes >= size); in segvn_textrepl()
10015 ASSERT(svntrp != NULL); in segvn_textrepl()
10016 ASSERT(svntrp->tr_amp[lgrp_id] == NULL); in segvn_textrepl()
10018 ASSERT(svntrp == svntr_hashtab[hash].tr_head); in segvn_textrepl()
10051 ASSERT(AS_LOCK_HELD(seg->s_as)); in segvn_textunrepl()
10052 ASSERT(AS_WRITE_HELD(seg->s_as) || in segvn_textunrepl()
10054 ASSERT(svd->tr_state == SEGVN_TR_ON); in segvn_textunrepl()
10055 ASSERT(!HAT_IS_REGION_COOKIE_VALID(svd->rcookie)); in segvn_textunrepl()
10056 ASSERT(svd->amp != NULL); in segvn_textunrepl()
10057 ASSERT(svd->amp->refcnt >= 1); in segvn_textunrepl()
10058 ASSERT(svd->anon_index == 0); in segvn_textunrepl()
10059 ASSERT(lgrp_id != LGRP_NONE && lgrp_id < NLGRPS_MAX); in segvn_textunrepl()
10060 ASSERT(svntr_hashtab != NULL); in segvn_textunrepl()
10065 ASSERT(svntrp->tr_refcnt != 0); in segvn_textunrepl()
10080 ASSERT(svntrp->tr_svnhead == svd); in segvn_textunrepl()
10105 ASSERT(amp->refcnt == 1); in segvn_textunrepl()
10106 ASSERT(amp->swresv == size); in segvn_textunrepl()
10107 ASSERT(amp->size == size); in segvn_textunrepl()
10108 ASSERT(amp->a_szc == szc); in segvn_textunrepl()
10115 ASSERT(segvn_textrepl_bytes >= size); in segvn_textunrepl()
10138 ASSERT(vp->v_flag & VVMEXEC); in segvn_inval_trcache()
10147 ASSERT(svntrp->tr_refcnt != 0); in segvn_inval_trcache()
10212 ASSERT(svntr_hashtab != NULL); in segvn_trupdate()
10218 ASSERT(svntrp->tr_refcnt != 0); in segvn_trupdate()
10241 ASSERT(svd->vp != NULL); in segvn_trupdate_seg()
10242 ASSERT(svd->vp == svntrp->tr_vp); in segvn_trupdate_seg()
10243 ASSERT(svd->offset == svntrp->tr_off); in segvn_trupdate_seg()
10244 ASSERT(svd->offset + seg->s_size == svntrp->tr_eoff); in segvn_trupdate_seg()
10245 ASSERT(seg != NULL); in segvn_trupdate_seg()
10246 ASSERT(svd->seg == seg); in segvn_trupdate_seg()
10247 ASSERT(seg->s_data == (void *)svd); in segvn_trupdate_seg()
10248 ASSERT(seg->s_szc == svntrp->tr_szc); in segvn_trupdate_seg()
10249 ASSERT(svd->tr_state == SEGVN_TR_ON); in segvn_trupdate_seg()
10250 ASSERT(!HAT_IS_REGION_COOKIE_VALID(svd->rcookie)); in segvn_trupdate_seg()
10251 ASSERT(svd->amp != NULL); in segvn_trupdate_seg()
10252 ASSERT(svd->tr_policy_info.mem_policy == LGRP_MEM_POLICY_NEXT_SEG); in segvn_trupdate_seg()
10253 ASSERT(svd->tr_policy_info.mem_lgrpid != LGRP_NONE); in segvn_trupdate_seg()
10254 ASSERT(svd->tr_policy_info.mem_lgrpid < NLGRPS_MAX); in segvn_trupdate_seg()
10255 ASSERT(svntrp->tr_amp[svd->tr_policy_info.mem_lgrpid] == svd->amp); in segvn_trupdate_seg()
10256 ASSERT(svntrp->tr_refcnt != 0); in segvn_trupdate_seg()
10257 ASSERT(mutex_owned(&svntr_hashtab[hash].tr_lock)); in segvn_trupdate_seg()
10260 ASSERT(as != NULL && as != &kas); in segvn_trupdate_seg()
10262 ASSERT(p != NULL); in segvn_trupdate_seg()
10263 ASSERT(p->p_tr_lgrpid != LGRP_NONE); in segvn_trupdate_seg()
10268 ASSERT(lgrp_id < NLGRPS_MAX); in segvn_trupdate_seg()
10318 ASSERT(amp->refcnt == 1); in segvn_trupdate_seg()
10334 ASSERT(svd->tr_state == SEGVN_TR_ON); in segvn_trupdate_seg()
10335 ASSERT(svd->amp != NULL); in segvn_trupdate_seg()
10336 ASSERT(svd->tr_policy_info.mem_policy == LGRP_MEM_POLICY_NEXT_SEG); in segvn_trupdate_seg()
10337 ASSERT(svd->tr_policy_info.mem_lgrpid != lgrp_id); in segvn_trupdate_seg()
10338 ASSERT(svd->amp != svntrp->tr_amp[lgrp_id]); in segvn_trupdate_seg()
10346 ASSERT(svntrp->tr_refcnt != 0); in segvn_trupdate_seg()
10347 ASSERT(svd->vp == svntrp->tr_vp); in segvn_trupdate_seg()
10348 ASSERT(svd->tr_policy_info.mem_lgrpid == lgrp_id); in segvn_trupdate_seg()
10349 ASSERT(svd->amp != NULL && svd->amp == svntrp->tr_amp[lgrp_id]); in segvn_trupdate_seg()
10350 ASSERT(svd->seg == seg); in segvn_trupdate_seg()
10351 ASSERT(svd->tr_state == SEGVN_TR_ON); in segvn_trupdate_seg()