Lines Matching refs:VERIFY
1134 VERIFY(omb_stat != NULL);
1138 VERIFY(mb_stat != NULL);
1389 VERIFY(nmbclusters != 0 && !(nmbclusters & 0x1));
1412 VERIFY(slabstbl != NULL);
1427 VERIFY(mclaudit != NULL);
1431 VERIFY(mcl_audit_con_cache != NULL);
1451 VERIFY(mcl_paddr != NULL);
1459 VERIFY((((char *)embutl - (char *)mbutl) % MBIGCLBYTES) == 0);
1477 VERIFY(m_total(MC_BIGCL) == 0 && m_minlimit(MC_BIGCL) != 0);
1479 VERIFY(m_total(MC_BIGCL) >= m_minlimit(MC_BIGCL));
1484 VERIFY(m_minlimit(m_class(m)) == 0 ||
1543 VERIFY(buf != NULL);
1571 VERIFY(mbuf_dump_buf != NULL);
1590 VERIFY(class != MC_16KCL || njcl > 0);
1593 VERIFY(m_cobjlist(class) == NULL);
1608 VERIFY(m_infree(class) == 0 && m_slab_cnt(class) == 0);
1613 VERIFY(m_infree(class) > 0);
1614 VERIFY(!slab_is_detached(sp));
1615 VERIFY(sp->sl_class == class &&
1618 VERIFY(slab_inrange(sp, buf) && sp == slab_get(buf));
1622 VERIFY(sp->sl_head != NULL || sp->sl_refcnt == (NMBPBG - 1));
1625 VERIFY(sp->sl_head != NULL || sp->sl_refcnt == (NCLPBG - 1));
1632 VERIFY(slab_inrange(sp, sp->sl_head));
1652 VERIFY(sp->sl_refcnt >= 1 && sp->sl_refcnt <= NCLPBG &&
1655 VERIFY(sp->sl_refcnt < NCLPBG || sp->sl_head == NULL);
1662 VERIFY(sp->sl_refcnt == 1 && sp->sl_chunks == 1 &&
1669 VERIFY(sp->sl_refcnt == 1 && sp->sl_chunks == 1 &&
1679 VERIFY(nsp != NULL);
1681 VERIFY(!slab_is_detached(nsp));
1682 VERIFY(nsp->sl_class == MC_16KCL &&
1689 VERIFY(class == MC_MBUF);
1703 VERIFY(sp->sl_refcnt >= 1 && sp->sl_refcnt <= NMBPBG &&
1706 VERIFY(sp->sl_refcnt < NMBPBG || sp->sl_head == NULL);
1711 VERIFY(class != MC_MBUF || sp->sl_refcnt == NMBPBG);
1712 VERIFY(class != MC_CL || sp->sl_refcnt == NCLPBG);
1729 VERIFY(class != MC_16KCL || njcl > 0);
1730 VERIFY(buf->obj_next == NULL);
1732 VERIFY(sp->sl_class == class && slab_inrange(sp, buf) &&
1739 VERIFY(IS_P2ALIGNED(buf, MCLBYTES));
1744 VERIFY(sp->sl_refcnt >= 0 && sp->sl_refcnt <= (NCLPBG - 1) &&
1747 VERIFY(sp->sl_refcnt < (NCLPBG - 1) ||
1750 VERIFY(IS_P2ALIGNED(buf, MCLBYTES));
1755 VERIFY(sp->sl_refcnt == 0 && sp->sl_chunks == 1 &&
1757 VERIFY(slab_is_detached(sp));
1765 VERIFY(IS_P2ALIGNED(buf, MBIGCLBYTES));
1766 VERIFY(sp->sl_refcnt == 0 && sp->sl_chunks == 1 &&
1768 VERIFY(slab_is_detached(sp));
1772 VERIFY(nsp != NULL);
1774 VERIFY(slab_is_detached(nsp));
1775 VERIFY(nsp->sl_class == MC_16KCL &&
1787 VERIFY(class == MC_MBUF);
1788 VERIFY(sp->sl_refcnt >= 0 && sp->sl_refcnt <= (NMBPBG - 1) &&
1791 VERIFY(sp->sl_refcnt < (NMBPBG - 1) ||
1839 VERIFY(m_total(MC_BIGCL) <= m_maxlimit(MC_BIGCL));
1840 VERIFY(m_total(MC_MBUF) >= m_minlimit(MC_MBUF));
1844 VERIFY(m != NULL);
1848 VERIFY(sp->sl_head == NULL);
1864 VERIFY(slab_is_detached(sp));
1877 VERIFY(m_total(MC_BIGCL) <= m_maxlimit(MC_BIGCL));
1878 VERIFY(m_total(MC_CL) >= m_minlimit(MC_CL));
1882 VERIFY(c != NULL);
1886 VERIFY(sp->sl_head == NULL);
1902 VERIFY(slab_is_detached(sp));
1951 VERIFY(m_infree(class) == 0 || class == MC_CL);
2117 VERIFY(need > 0);
2118 VERIFY(class != MC_MBUF_16KCL || njcl > 0);
2129 VERIFY(m->m_flags == M_EXT && cl != NULL);
2130 VERIFY(MEXT_RFA(m) != NULL && MBUF_IS_COMPOSITE(m));
2133 VERIFY(clsp->sl_refcnt >= 1 &&
2136 VERIFY(clsp->sl_refcnt == 1);
2144 VERIFY(nsp != NULL);
2145 VERIFY(nsp->sl_refcnt == 1);
2181 VERIFY(class != MC_MBUF_16KCL || njcl > 0);
2189 VERIFY(class == MC_MBUF_16KCL);
2216 VERIFY(ms->m_type == MT_FREE);
2217 VERIFY(ms->m_flags == M_EXT);
2218 VERIFY(MEXT_RFA(ms) != NULL && MBUF_IS_COMPOSITE(ms));
2220 VERIFY(clsp->sl_refcnt >= 1 &&
2223 VERIFY(clsp->sl_refcnt == 1);
2230 VERIFY(nsp != NULL);
2231 VERIFY(nsp->sl_refcnt == 1);
2262 VERIFY(m_total(class) > 0);
2321 VERIFY(class != MC_MBUF_16KCL || njcl > 0);
2324 VERIFY(m_slab_cnt(class) == 0 &&
2372 VERIFY(class == MC_MBUF_16KCL);
2461 VERIFY(ms->m_flags == M_EXT);
2462 VERIFY(MEXT_RFA(ms) != NULL && MBUF_IS_COMPOSITE(ms));
2483 VERIFY(m_total(class) <= m_maxlimit(class));
2565 VERIFY(ms->m_flags == M_EXT && cl != NULL);
2566 VERIFY(MEXT_RFA(ms) != NULL && MBUF_IS_COMPOSITE(ms));
2568 VERIFY(clsp->sl_refcnt >= 1 &&
2571 VERIFY(clsp->sl_refcnt == 1);
2578 VERIFY(nsp != NULL);
2579 VERIFY(nsp->sl_refcnt == 1);
2618 VERIFY(bufsize == m_maxsize(MC_BIGCL) ||
2675 VERIFY(IS_P2ALIGNED(page, NBPG));
2696 VERIFY(con_list != NULL && i == needed);
2704 VERIFY(mca_list != NULL && i == needed);
2718 VERIFY(offset < mcl_pages);
2739 VERIFY(sp->sl_refcnt == 0 && sp->sl_flags == 0);
2750 VERIFY(m_total(MC_BIGCL) <= m_maxlimit(MC_BIGCL));
2756 VERIFY(njcl > 0);
2762 VERIFY(sp->sl_refcnt == 0 && sp->sl_flags == 0);
2772 VERIFY(nsp->sl_refcnt == 0 &&
2785 VERIFY(m_total(MC_16KCL) <= m_maxlimit(MC_16KCL));
2788 VERIFY(mca_list == NULL && con_list == NULL);
2800 VERIFY(bufsize == m_maxsize(MC_16KCL));
2862 VERIFY(class == MC_MBUF || class == MC_CL || class == MC_BIGCL ||
2889 VERIFY(0);
2893 VERIFY(class == MC_MBUF || class == MC_CL);
2913 VERIFY(slab_is_detached(sp) &&
2930 VERIFY(o == (mcache_obj_t *)sp->sl_base);
2931 VERIFY(sp->sl_head == NULL);
2933 VERIFY(m_total(MC_BIGCL) > 0);
2940 VERIFY(m_total(MC_BIGCL) >= m_minlimit(MC_BIGCL));
2941 VERIFY(m_total(class) <= m_maxlimit(class));
2998 VERIFY(class == MC_CL || class == MC_BIGCL);
2999 VERIFY(m_total(class) == 0);
3000 VERIFY(m_minlimit(class) > 0);
3005 VERIFY(m_total(class) >= m_minlimit(class));
3044 VERIFY(0);
3085 VERIFY(0);
3099 VERIFY(m_total(MC_CL) <= m_maxlimit(MC_CL));
3100 VERIFY(m_total(MC_BIGCL) <= m_maxlimit(MC_BIGCL));
3101 VERIFY(m_total(MC_16KCL) <= m_maxlimit(MC_16KCL));
3137 VERIFY(0);
3294 VERIFY(m->m_type != MT_FREE);
3312 VERIFY(m->m_ext.ext_free == m_16kfree);
3365 VERIFY(m->m_type != MT_FREE);
3383 VERIFY(m->m_ext.ext_free == m_16kfree);
3427 VERIFY(m->m_type == MT_FREE && m->m_flags == M_EXT);
3432 VERIFY(MBUF_IS_COMPOSITE(m) && m->m_ext.ext_free == NULL);
3651 VERIFY(bufsize != m_maxsize(MC_16KCL) || njcl > 0);
3679 VERIFY(m->m_type == MT_FREE && m->m_flags == M_EXT);
3684 VERIFY(MBUF_IS_COMPOSITE(m));
3799 VERIFY(njcl > 0);
3996 VERIFY(m->m_type == MT_FREE && m->m_flags == M_EXT);
3997 VERIFY(m->m_ext.ext_free == NULL ||
4005 VERIFY(MBUF_IS_COMPOSITE(m));
4198 VERIFY(m->m_type != MT_FREE);
4230 VERIFY(m->m_ext.ext_free == m_16kfree);
5015 VERIFY(bufsize == m_maxsize(MC_BIGCL) ||
5093 VERIFY((m_total(MC_BIGCL) + i) <= m_maxlimit(MC_BIGCL));
5094 VERIFY(sumclusters + (i << 1) <= nclusters);
5097 VERIFY(njcl > 0);
5116 VERIFY((m_total(MC_16KCL) + i) <= m_maxlimit(MC_16KCL));
5172 VERIFY(off + len <= m_length(m0));
5232 VERIFY(mp0 != NULL);
5233 VERIFY(*mp0 != NULL);
5234 VERIFY((flags & M_COPYBACK0_PRESERVE) == 0 || cp == NULL);
5235 VERIFY((flags & M_COPYBACK0_COPYBACK) == 0 || cp != NULL);
5242 VERIFY((~flags & (M_COPYBACK0_EXTEND|M_COPYBACK0_COW)) != 0);
5267 VERIFY(tspace > 0);
5359 VERIFY(off == 0 || eatlen >= mlen);
5361 VERIFY(len >= mlen);
5410 VERIFY(flags & M_COPYBACK0_EXTEND);
5548 VERIFY(MBUF_MULTIPAGES(m));
5549 VERIFY(m->m_next == NULL);
5566 VERIFY(len > 0);
5567 VERIFY(m->m_flags & M_EXT);
5737 VERIFY(off < MHLEN);
5760 VERIFY(m0->m_pkthdr.header == NULL);
5962 VERIFY(!(wait & MCR_NOSLEEP));
6076 VERIFY(MBUF_IN_MAP(buf));
6078 VERIFY(ix < maxslabgrp);
6090 VERIFY(ix < slabgrp);
6096 VERIFY(mb_clalloc_busy);
6102 VERIFY(slg != NULL);
6109 VERIFY(mb_clalloc_busy);
6116 VERIFY(slg->slg_slab[NSLABSPMB - 1].sl_next == NULL);
6120 VERIFY(slabstbl[ix - 1]->
6128 VERIFY(ix < NSLABSPMB);
6150 VERIFY(slab_is_detached(sp));
6159 VERIFY(sp != NULL);
6160 VERIFY(slab_is_detached(sp));
6169 VERIFY(!slab_is_detached(sp));
6170 VERIFY(m_slab_cnt(class) > 0);
6179 VERIFY(sp != NULL);
6180 VERIFY(!slab_is_detached(sp));
6252 VERIFY(ix < maxclaudit);
6256 VERIFY(mclaudit[ix].cl_audit[i] == NULL);
6272 VERIFY(con != NULL);
6300 VERIFY(ix < maxclaudit);
6301 VERIFY(IS_P2ALIGNED(o, MIN(m_maxsize(class), NBPG)));
6312 VERIFY(MCLIDX(BGTOM(ix), o) < (int)NMBPBG);
6320 VERIFY(CLBGIDX(BGTOM(ix), o) < (int)NCLPBG);
6333 VERIFY(0);
6347 VERIFY(mca->mca_contents != NULL &&
6379 VERIFY(ms->m_flags == M_EXT && MEXT_RFA(ms) != NULL &&
6474 VERIFY(mleak_allocations != NULL);
6478 VERIFY(mleak_traces != NULL);
6482 VERIFY(mleak_stat != NULL);
6533 VERIFY(allocation <= &mleak_allocations[mleak_alloc_buckets - 1]);
6534 VERIFY(trace <= &mleak_traces[mleak_trace_buckets - 1]);
6679 VERIFY(mleak_stat != NULL);
6681 VERIFY(mleak_stat->ml_isaddr64);
6683 VERIFY(!mleak_stat->ml_isaddr64);
6685 VERIFY(mleak_stat->ml_cnt == MLEAK_NUM_TRACES);
6703 VERIFY(mltr->mltr_depth <= MLEAK_STACK_DEPTH);