Lines Matching refs:VERIFY
1185 VERIFY(omb_stat != NULL);
1189 VERIFY(mb_stat != NULL);
1451 VERIFY(nmbclusters != 0 && !(nmbclusters & 0x1));
1474 VERIFY(slabstbl != NULL);
1489 VERIFY(mclaudit != NULL);
1493 VERIFY(mcl_audit_con_cache != NULL);
1513 VERIFY(mcl_paddr != NULL);
1521 VERIFY((((char *)embutl - (char *)mbutl) % MBIGCLBYTES) == 0);
1539 VERIFY(m_total(MC_BIGCL) == 0 && m_minlimit(MC_BIGCL) != 0);
1541 VERIFY(m_total(MC_BIGCL) >= m_minlimit(MC_BIGCL));
1546 VERIFY(m_minlimit(m_class(m)) == 0 ||
1609 VERIFY(buf != NULL);
1638 VERIFY(mbuf_dump_buf != NULL);
1662 VERIFY(class != MC_16KCL || njcl > 0);
1665 VERIFY(m_cobjlist(class) == NULL);
1680 VERIFY(m_infree(class) == 0 && m_slab_cnt(class) == 0);
1685 VERIFY(m_infree(class) > 0);
1686 VERIFY(!slab_is_detached(sp));
1687 VERIFY(sp->sl_class == class &&
1690 VERIFY(slab_inrange(sp, buf) && sp == slab_get(buf));
1694 VERIFY(sp->sl_head != NULL || sp->sl_refcnt == (NMBPBG - 1));
1697 VERIFY(sp->sl_head != NULL || sp->sl_refcnt == (NCLPBG - 1));
1704 VERIFY(slab_inrange(sp, sp->sl_head));
1724 VERIFY(sp->sl_refcnt >= 1 && sp->sl_refcnt <= NCLPBG &&
1727 VERIFY(sp->sl_refcnt < NCLPBG || sp->sl_head == NULL);
1734 VERIFY(sp->sl_refcnt == 1 && sp->sl_chunks == 1 &&
1741 VERIFY(sp->sl_refcnt == 1 && sp->sl_chunks == 1 &&
1751 VERIFY(nsp != NULL);
1753 VERIFY(!slab_is_detached(nsp));
1754 VERIFY(nsp->sl_class == MC_16KCL &&
1761 VERIFY(class == MC_MBUF);
1775 VERIFY(sp->sl_refcnt >= 1 && sp->sl_refcnt <= NMBPBG &&
1778 VERIFY(sp->sl_refcnt < NMBPBG || sp->sl_head == NULL);
1783 VERIFY(class != MC_MBUF || sp->sl_refcnt == NMBPBG);
1784 VERIFY(class != MC_CL || sp->sl_refcnt == NCLPBG);
1801 VERIFY(class != MC_16KCL || njcl > 0);
1802 VERIFY(buf->obj_next == NULL);
1804 VERIFY(sp->sl_class == class && slab_inrange(sp, buf) &&
1811 VERIFY(IS_P2ALIGNED(buf, MCLBYTES));
1816 VERIFY(sp->sl_refcnt >= 0 && sp->sl_refcnt <= (NCLPBG - 1) &&
1819 VERIFY(sp->sl_refcnt < (NCLPBG - 1) ||
1822 VERIFY(IS_P2ALIGNED(buf, MCLBYTES));
1827 VERIFY(sp->sl_refcnt == 0 && sp->sl_chunks == 1 &&
1829 VERIFY(slab_is_detached(sp));
1837 VERIFY(IS_P2ALIGNED(buf, MBIGCLBYTES));
1838 VERIFY(sp->sl_refcnt == 0 && sp->sl_chunks == 1 &&
1840 VERIFY(slab_is_detached(sp));
1844 VERIFY(nsp != NULL);
1846 VERIFY(slab_is_detached(nsp));
1847 VERIFY(nsp->sl_class == MC_16KCL &&
1859 VERIFY(class == MC_MBUF);
1860 VERIFY(sp->sl_refcnt >= 0 && sp->sl_refcnt <= (NMBPBG - 1) &&
1863 VERIFY(sp->sl_refcnt < (NMBPBG - 1) ||
1911 VERIFY(m_total(MC_BIGCL) <= m_maxlimit(MC_BIGCL));
1912 VERIFY(m_total(MC_MBUF) >= m_minlimit(MC_MBUF));
1916 VERIFY(m != NULL);
1920 VERIFY(sp->sl_head == NULL);
1936 VERIFY(slab_is_detached(sp));
1949 VERIFY(m_total(MC_BIGCL) <= m_maxlimit(MC_BIGCL));
1950 VERIFY(m_total(MC_CL) >= m_minlimit(MC_CL));
1954 VERIFY(c != NULL);
1958 VERIFY(sp->sl_head == NULL);
1974 VERIFY(slab_is_detached(sp));
2023 VERIFY(m_infree(class) == 0 || class == MC_CL);
2189 VERIFY(need > 0);
2190 VERIFY(class != MC_MBUF_16KCL || njcl > 0);
2201 VERIFY(m->m_flags == M_EXT && cl != NULL);
2202 VERIFY(MEXT_RFA(m) != NULL && MBUF_IS_COMPOSITE(m));
2205 VERIFY(clsp->sl_refcnt >= 1 &&
2208 VERIFY(clsp->sl_refcnt == 1);
2216 VERIFY(nsp != NULL);
2217 VERIFY(nsp->sl_refcnt == 1);
2253 VERIFY(class != MC_MBUF_16KCL || njcl > 0);
2261 VERIFY(class == MC_MBUF_16KCL);
2288 VERIFY(ms->m_type == MT_FREE);
2289 VERIFY(ms->m_flags == M_EXT);
2290 VERIFY(MEXT_RFA(ms) != NULL && MBUF_IS_COMPOSITE(ms));
2292 VERIFY(clsp->sl_refcnt >= 1 &&
2295 VERIFY(clsp->sl_refcnt == 1);
2302 VERIFY(nsp != NULL);
2303 VERIFY(nsp->sl_refcnt == 1);
2334 VERIFY(m_total(class) > 0);
2393 VERIFY(class != MC_MBUF_16KCL || njcl > 0);
2396 VERIFY(m_slab_cnt(class) == 0 &&
2444 VERIFY(class == MC_MBUF_16KCL);
2533 VERIFY(ms->m_flags == M_EXT);
2534 VERIFY(MEXT_RFA(ms) != NULL && MBUF_IS_COMPOSITE(ms));
2555 VERIFY(m_total(class) <= m_maxlimit(class));
2637 VERIFY(ms->m_flags == M_EXT && cl != NULL);
2638 VERIFY(MEXT_RFA(ms) != NULL && MBUF_IS_COMPOSITE(ms));
2640 VERIFY(clsp->sl_refcnt >= 1 &&
2643 VERIFY(clsp->sl_refcnt == 1);
2650 VERIFY(nsp != NULL);
2651 VERIFY(nsp->sl_refcnt == 1);
2690 VERIFY(bufsize == m_maxsize(MC_BIGCL) ||
2747 VERIFY(IS_P2ALIGNED(page, NBPG));
2768 VERIFY(con_list != NULL && i == needed);
2776 VERIFY(mca_list != NULL && i == needed);
2791 VERIFY(offset < mcl_pages);
2813 VERIFY(sp->sl_refcnt == 0 && sp->sl_flags == 0);
2824 VERIFY(m_total(MC_BIGCL) <= m_maxlimit(MC_BIGCL));
2831 VERIFY(njcl > 0);
2837 VERIFY(sp->sl_refcnt == 0 && sp->sl_flags == 0);
2847 VERIFY(nsp->sl_refcnt == 0 &&
2860 VERIFY(m_total(MC_16KCL) <= m_maxlimit(MC_16KCL));
2866 VERIFY(mca_list == NULL && con_list == NULL);
2878 VERIFY(bufsize == m_maxsize(MC_16KCL));
2940 VERIFY(class == MC_MBUF || class == MC_CL || class == MC_BIGCL ||
2967 VERIFY(0);
2971 VERIFY(class == MC_MBUF || class == MC_CL);
2991 VERIFY(slab_is_detached(sp) &&
3008 VERIFY(o == (mcache_obj_t *)sp->sl_base);
3009 VERIFY(sp->sl_head == NULL);
3011 VERIFY(m_total(MC_BIGCL) > 0);
3018 VERIFY(m_total(MC_BIGCL) >= m_minlimit(MC_BIGCL));
3019 VERIFY(m_total(class) <= m_maxlimit(class));
3077 VERIFY(class == MC_CL || class == MC_BIGCL);
3078 VERIFY(m_total(class) == 0);
3079 VERIFY(m_minlimit(class) > 0);
3084 VERIFY(m_total(class) >= m_minlimit(class));
3123 VERIFY(0);
3164 VERIFY(0);
3178 VERIFY(m_total(MC_CL) <= m_maxlimit(MC_CL));
3179 VERIFY(m_total(MC_BIGCL) <= m_maxlimit(MC_BIGCL));
3180 VERIFY(m_total(MC_16KCL) <= m_maxlimit(MC_16KCL));
3216 VERIFY(0);
3375 VERIFY(m->m_type != MT_FREE);
3393 VERIFY(m->m_ext.ext_free == m_16kfree);
3446 VERIFY(m->m_type != MT_FREE);
3464 VERIFY(m->m_ext.ext_free == m_16kfree);
3508 VERIFY(m->m_type == MT_FREE && m->m_flags == M_EXT);
3513 VERIFY(MBUF_IS_COMPOSITE(m) && m->m_ext.ext_free == NULL);
3664 VERIFY(from->m_flags & M_PKTHDR);
3693 VERIFY(from->m_flags & M_PKTHDR);
3726 VERIFY(m->m_flags & M_PKTHDR);
3745 VERIFY(to->m_flags & M_PKTHDR);
3746 VERIFY(from->m_flags & M_PKTHDR);
3789 VERIFY(bufsize != m_maxsize(MC_16KCL) || njcl > 0);
3817 VERIFY(m->m_type == MT_FREE && m->m_flags == M_EXT);
3822 VERIFY(MBUF_IS_COMPOSITE(m));
3937 VERIFY(njcl > 0);
4134 VERIFY(m->m_type == MT_FREE && m->m_flags == M_EXT);
4135 VERIFY(m->m_ext.ext_free == NULL ||
4143 VERIFY(MBUF_IS_COMPOSITE(m));
4339 VERIFY(m->m_type != MT_FREE);
4371 VERIFY(m->m_ext.ext_free == m_16kfree);
4543 VERIFY((mode != M_COPYM_MUST_COPY_HDR &&
5199 VERIFY(bufsize == m_maxsize(MC_BIGCL) ||
5277 VERIFY((m_total(MC_BIGCL) + i) <= m_maxlimit(MC_BIGCL));
5278 VERIFY(sumclusters + (i << 1) <= nclusters);
5281 VERIFY(njcl > 0);
5300 VERIFY((m_total(MC_16KCL) + i) <= m_maxlimit(MC_16KCL));
5356 VERIFY(off + len <= m_length(m0));
5416 VERIFY(mp0 != NULL);
5417 VERIFY(*mp0 != NULL);
5418 VERIFY((flags & M_COPYBACK0_PRESERVE) == 0 || cp == NULL);
5419 VERIFY((flags & M_COPYBACK0_COPYBACK) == 0 || cp != NULL);
5426 VERIFY((~flags & (M_COPYBACK0_EXTEND|M_COPYBACK0_COW)) != 0);
5451 VERIFY(tspace > 0);
5543 VERIFY(off == 0 || eatlen >= mlen);
5545 VERIFY(len >= mlen);
5594 VERIFY(flags & M_COPYBACK0_EXTEND);
5732 VERIFY(MBUF_MULTIPAGES(m));
5733 VERIFY(m->m_next == NULL);
5750 VERIFY(len > 0);
5751 VERIFY(m->m_flags & M_EXT);
5875 VERIFY(m0->m_flags & M_PKTHDR);
5923 VERIFY(off < MHLEN);
5945 VERIFY(m0->m_pkthdr.pkt_hdr == NULL);
6148 VERIFY(!(wait & MCR_NOSLEEP));
6262 VERIFY(MBUF_IN_MAP(buf));
6264 VERIFY(ix < maxslabgrp);
6274 VERIFY(ix < slabgrp);
6280 VERIFY(mb_clalloc_busy);
6286 VERIFY(slg != NULL);
6293 VERIFY(mb_clalloc_busy);
6300 VERIFY(slg->slg_slab[NSLABSPMB - 1].sl_next == NULL);
6304 VERIFY(slabstbl[ix - 1]->
6312 VERIFY(ix < NSLABSPMB);
6334 VERIFY(slab_is_detached(sp));
6343 VERIFY(sp != NULL);
6344 VERIFY(slab_is_detached(sp));
6353 VERIFY(!slab_is_detached(sp));
6354 VERIFY(m_slab_cnt(class) > 0);
6363 VERIFY(sp != NULL);
6364 VERIFY(!slab_is_detached(sp));
6436 VERIFY(ix < maxclaudit);
6440 VERIFY(mclaudit[ix].cl_audit[i] == NULL);
6459 VERIFY(msc != NULL);
6460 VERIFY(IS_P2ALIGNED(msc, sizeof (u_int64_t)));
6461 VERIFY(con_size == sizeof (*msc));
6486 VERIFY(ix < maxclaudit);
6512 VERIFY(ix < maxclaudit);
6513 VERIFY(IS_P2ALIGNED(o, MIN(m_maxsize(class), NBPG)));
6524 VERIFY(MCLIDX(BGTOM(ix), o) < (int)NMBPBG);
6532 VERIFY(CLBGIDX(BGTOM(ix), o) < (int)NCLPBG);
6545 VERIFY(0);
6559 VERIFY(mca->mca_contents != NULL &&
6591 VERIFY(ms->m_flags == M_EXT && MEXT_RFA(ms) != NULL &&
6593 VERIFY(mca->mca_contents_size == AUDIT_CONTENTS_SIZE);
6616 VERIFY(mca->mca_contents_size == AUDIT_CONTENTS_SIZE);
6649 VERIFY(mca->mca_contents != NULL);
6714 VERIFY(mleak_allocations != NULL);
6718 VERIFY(mleak_traces != NULL);
6722 VERIFY(mleak_stat != NULL);
6773 VERIFY(allocation <= &mleak_allocations[mleak_alloc_buckets - 1]);
6774 VERIFY(trace <= &mleak_traces[mleak_trace_buckets - 1]);
6919 VERIFY(mleak_stat != NULL);
6921 VERIFY(mleak_stat->ml_isaddr64);
6923 VERIFY(!mleak_stat->ml_isaddr64);
6925 VERIFY(mleak_stat->ml_cnt == MLEAK_NUM_TRACES);
6943 VERIFY(mltr->mltr_depth <= MLEAK_STACK_DEPTH);
7180 VERIFY(!(m->m_flags & M_PKTHDR));
7199 VERIFY((m->m_flags & M_EXT) || m->m_data == m->m_dat);
7219 VERIFY(m->m_flags & M_PKTHDR);
7243 VERIFY(m->m_flags & M_PKTHDR);
7269 VERIFY(m->m_flags & M_PKTHDR);
7282 VERIFY(m->m_flags & M_PKTHDR);
7387 VERIFY(scratch_pa);
7455 VERIFY(num == 1);
7503 VERIFY(nsp->sl_refcnt == 0 &&
7519 VERIFY(0);