usr/src/cmd/bhyve/common/pci_virtio_viona.c

325

VERIFY(pci_viona_set_usepairs(sc, 1));

usr/src/cmd/bhyve/common/pci_virtio_viona.c

326

VERIFY(pci_viona_qalloc(sc, 1));

usr/src/cmd/bhyve/common/virtio.c

564

VERIFY(legacy >= 0x1000 && legacy <= 0x103f);

usr/src/cmd/cmd-crypto/elfsign/elfsign.c

183

} else if (strcmp(scmd, VERIFY) == 0) {

usr/src/cmd/cmd-inet/usr.bin/rdist/docmd.c

524

if (nflag || (options & VERIFY))

usr/src/cmd/cmd-inet/usr.bin/rdist/docmd.c

553

if (!nflag && !(options & VERIFY))

usr/src/cmd/cmd-inet/usr.bin/rdist/docmd.c

659

if ((options & VERIFY) || to == NULL)

usr/src/cmd/cmd-inet/usr.bin/rdist/gram.y

304

yylval.intval = VERIFY;

usr/src/cmd/cmd-inet/usr.bin/rdist/main.c

229

if (options & VERIFY) {

usr/src/cmd/cmd-inet/usr.bin/rdist/main.c

231

options &= ~VERIFY;

usr/src/cmd/cmd-inet/usr.bin/rdist/main.c

253

options |= VERIFY;

usr/src/cmd/cmd-inet/usr.bin/rdist/server.c

1002

if (opts & VERIFY) {

usr/src/cmd/cmd-inet/usr.bin/rdist/server.c

1091

if (opts & VERIFY) {

usr/src/cmd/cmd-inet/usr.bin/rdist/server.c

1229

(void) sprintf(buf, "C%o\n", opts & VERIFY);

usr/src/cmd/cmd-inet/usr.bin/rdist/server.c

1353

if (opts & VERIFY) {

usr/src/cmd/cmd-inet/usr.bin/rdist/server.c

1514

if (!(options & VERIFY) && fp != NULL)

usr/src/cmd/cmd-inet/usr.bin/rdist/server.c

246

printf("%s%s%s%s%s %s %s\n", opts & VERIFY ? "verify":"install",

usr/src/cmd/cmd-inet/usr.bin/rdist/server.c

360

if (opts & VERIFY) {

usr/src/cmd/cmd-inet/usr.bin/rdist/server.c

469

if (opts & VERIFY) {

usr/src/cmd/cmd-inet/usr.bin/rdist/server.c

544

if (opts & VERIFY)

usr/src/cmd/cmd-inet/usr.bin/rdist/server.c

845

if (opts & VERIFY) {

usr/src/cmd/cmd-inet/usr.bin/rdist/server.c

930

if (opts & VERIFY)

usr/src/cmd/cmd-inet/usr.sbin/nwamcfg/nwamcfg_grammar.y

107

%type <cmd> verify_command VERIFY

usr/src/cmd/cmd-inet/usr.sbin/nwamcfg/nwamcfg_grammar.y

53

%token LIST REVERT SELECT SET VERIFY WALKPROP

usr/src/cmd/cmd-inet/usr.sbin/nwamcfg/nwamcfg_grammar.y

837

verify_command: VERIFY

usr/src/cmd/ctfconvert/ctfconvert.c

178

VERIFY(model == CTF_MODEL_ILP32 || model == CTF_MODEL_LP64);

usr/src/cmd/ctfconvert/ctfconvert.c

240

VERIFY(ctf_type_size(fp, cpuid) == sz);

usr/src/cmd/ktest/ktest.c

404

VERIFY(list_is_empty(triples));

usr/src/cmd/pcidb/pcidb.c

112

VERIFY(walk->pw_vendor != NULL);

usr/src/cmd/pcidb/pcidb.c

132

VERIFY(walk->pw_device != NULL);

usr/src/cmd/pcidb/pcidb.c

153

VERIFY(walk->pw_subvd != NULL);

usr/src/cmd/pcidb/pcidb.c

185

VERIFY(walk->pw_class != NULL);

usr/src/cmd/pcidb/pcidb.c

205

VERIFY(walk->pw_subclass != NULL);

usr/src/cmd/pcidb/pcidb.c

226

VERIFY(walk->pw_progif != NULL);

usr/src/cmd/pcieadm/pcieadm_cfgspace.c

543

VERIFY(print->pcp_len == 2);

usr/src/cmd/raidz_test/raidz_test.c

185

VERIFY(parity >= 1 && parity <= 3);

usr/src/cmd/raidz_test/raidz_test.c

289

VERIFY(opts->zio_golden);

usr/src/cmd/raidz_test/raidz_test.c

290

VERIFY(opts->rm_golden);

usr/src/cmd/raidz_test/raidz_test.c

316

VERIFY(zio);

usr/src/cmd/raidz_test/raidz_test.c

317

VERIFY(parity <= 3 && parity >= 1);

usr/src/cmd/raidz_test/raidz_test.c

328

VERIFY(rm);

usr/src/cmd/raidz_test/raidz_test.c

372

VERIFY(rm_test);

usr/src/cmd/raidz_test/raidz_test.c

600

VERIFY(opts != NULL);

usr/src/cmd/raidz_test/raidz_test.c

706

VERIFY(free_slots <= max_free_slots);

usr/src/cmd/zdb/zdb.c

2058

VERIFY(zap_lookup(os, MASTER_NODE_OBJ, ZFS_FUID_TABLES,

usr/src/cmd/zdb/zdb.c

258

VERIFY(0 == dmu_read(os, object, 0, nvsize, packed, DMU_READ_PREFETCH));

usr/src/cmd/zdb/zdb.c

260

VERIFY(nvlist_unpack(packed, nvsize, &nv, 0) == 0);

usr/src/cmd/zdb/zdb.c

3846

VERIFY(ddt_lookup(ddt, &blk, B_TRUE) != NULL);

usr/src/cmd/zdb/zdb.c

615

VERIFY(attr.za_integer_length == 2);

usr/src/cmd/zdb/zdb.c

619

VERIFY(zap_lookup(os, object, attr.za_name,

usr/src/cmd/zhack/zhack.c

144

VERIFY(nvlist_alloc(&props, NV_UNIQUE_NAME, 0) == 0);

usr/src/cmd/zhack/zhack.c

145

VERIFY(nvlist_add_uint64(props,

usr/src/cmd/zhack/zhack.c

199

VERIFY(zap_lookup(os, obj, za.za_name,

usr/src/cmd/zonecfg/zonecfg_grammar.y

131

%token HELP CREATE EXPORT ADD DELETE REMOVE SELECT SET INFO CANCEL END VERIFY

usr/src/cmd/zonecfg/zonecfg_grammar.y

166

%type <cmd> verify_command VERIFY

usr/src/cmd/zonecfg/zonecfg_grammar.y

933

verify_command: VERIFY

usr/src/cmd/zonecfg/zonecfg_grammar.y

942

| VERIFY TOKEN

usr/src/cmd/ztest/ztest.c

1012

VERIFY(nvlist_alloc(&mirror, NV_UNIQUE_NAME, 0) == 0);

usr/src/cmd/ztest/ztest.c

1013

VERIFY(nvlist_add_string(mirror, ZPOOL_CONFIG_TYPE,

usr/src/cmd/ztest/ztest.c

1015

VERIFY(nvlist_add_nvlist_array(mirror, ZPOOL_CONFIG_CHILDREN,

usr/src/cmd/ztest/ztest.c

1043

VERIFY(nvlist_add_uint64(child[c], ZPOOL_CONFIG_IS_LOG,

usr/src/cmd/ztest/ztest.c

1048

VERIFY(nvlist_add_string(child[c],

usr/src/cmd/ztest/ztest.c

1053

VERIFY(nvlist_alloc(&root, NV_UNIQUE_NAME, 0) == 0);

usr/src/cmd/ztest/ztest.c

1054

VERIFY(nvlist_add_string(root, ZPOOL_CONFIG_TYPE, VDEV_TYPE_ROOT) == 0);

usr/src/cmd/ztest/ztest.c

1055

VERIFY(nvlist_add_nvlist_array(root, aux ? aux : ZPOOL_CONFIG_CHILDREN,

usr/src/cmd/ztest/ztest.c

1194

VERIFY(zfs_prop_index_to_string(prop, curval, &valname) == 0);

usr/src/cmd/ztest/ztest.c

1209

VERIFY(nvlist_alloc(&props, NV_UNIQUE_NAME, 0) == 0);

usr/src/cmd/ztest/ztest.c

1210

VERIFY(nvlist_add_uint64(props, zpool_prop_to_name(prop), value) == 0);

usr/src/cmd/ztest/ztest.c

1872

VERIFY(dmu_read(os, lr->lr_foid, offset,

usr/src/cmd/ztest/ztest.c

1947

VERIFY(dmu_free_range(os, lr->lr_foid, lr->lr_offset,

usr/src/cmd/ztest/ztest.c

2417

VERIFY(dmu_object_info(zd->zd_os, object, &doi) == 0);

usr/src/cmd/ztest/ztest.c

2470

VERIFY(err == 0 || err == ENOSPC);

usr/src/cmd/ztest/ztest.c

2475

VERIFY(err == 0 || err == ENOSPC);

usr/src/cmd/ztest/ztest.c

2584

VERIFY(zil_open(os, ztest_get_data) == zd->zd_zilog);

usr/src/cmd/ztest/ztest.c

3140

VERIFY(nvlist_lookup_nvlist(spa->spa_config, ZPOOL_CONFIG_VDEV_TREE,

usr/src/cmd/ztest/ztest.c

3144

VERIFY(nvlist_lookup_nvlist_array(tree, ZPOOL_CONFIG_CHILDREN, &child,

usr/src/cmd/ztest/ztest.c

3154

VERIFY(nvlist_alloc(&schild[schildren], NV_UNIQUE_NAME,

usr/src/cmd/ztest/ztest.c

3156

VERIFY(nvlist_add_string(schild[schildren],

usr/src/cmd/ztest/ztest.c

3158

VERIFY(nvlist_add_uint64(schild[schildren],

usr/src/cmd/ztest/ztest.c

3166

VERIFY(nvlist_lookup_nvlist_array(child[c],

usr/src/cmd/ztest/ztest.c

3168

VERIFY(nvlist_dup(mchild[0], &schild[schildren++], 0) == 0);

usr/src/cmd/ztest/ztest.c

3172

VERIFY(nvlist_alloc(&split, NV_UNIQUE_NAME, 0) == 0);

usr/src/cmd/ztest/ztest.c

3173

VERIFY(nvlist_add_string(split, ZPOOL_CONFIG_TYPE,

usr/src/cmd/ztest/ztest.c

3175

VERIFY(nvlist_add_nvlist_array(split, ZPOOL_CONFIG_CHILDREN, schild,

usr/src/cmd/ztest/ztest.c

3178

VERIFY(nvlist_alloc(&config, NV_UNIQUE_NAME, 0) == 0);

usr/src/cmd/ztest/ztest.c

3179

VERIFY(nvlist_add_nvlist(config, ZPOOL_CONFIG_VDEV_TREE, split) == 0);

usr/src/cmd/ztest/ztest.c

3743

VERIFY(zap_create_claim(os, ZTEST_DIROBJ,

usr/src/cmd/ztest/ztest.c

4379

VERIFY(0 == dmu_free_range(os, bigobj, bigoff, bigsize, tx));

usr/src/cmd/ztest/ztest.c

4400

VERIFY(0 == dmu_read(os, packobj, packoff,

usr/src/cmd/ztest/ztest.c

4402

VERIFY(0 == dmu_read(os, bigobj, bigoff,

usr/src/cmd/ztest/ztest.c

4518

VERIFY(dmu_object_info(os, bigobj, &doi) == 0);

usr/src/cmd/ztest/ztest.c

4519

VERIFY(ISP2(doi.doi_data_block_size));

usr/src/cmd/ztest/ztest.c

4520

VERIFY(chunksize == doi.doi_data_block_size);

usr/src/cmd/ztest/ztest.c

4521

VERIFY(chunksize >= 2 * sizeof (bufwad_t));

usr/src/cmd/ztest/ztest.c

4645

VERIFY(dmu_buf_hold(os, bigobj, off,

usr/src/cmd/ztest/ztest.c

4671

VERIFY(0 == dmu_read(os, packobj, packoff,

usr/src/cmd/ztest/ztest.c

4673

VERIFY(0 == dmu_read(os, bigobj, bigoff,

usr/src/cmd/ztest/ztest.c

4828

VERIFY(zap_lookup(os, object, txgname, zl_intsize,

usr/src/cmd/ztest/ztest.c

4831

VERIFY(zap_length(os, object, propname, &zl_intsize,

usr/src/cmd/ztest/ztest.c

4837

VERIFY(zap_lookup(os, object, propname, zl_intsize,

usr/src/cmd/ztest/ztest.c

5037

VERIFY(zap_update(os, object, name, wsize, wc, data, tx) == 0);

usr/src/cmd/ztest/ztest.c

5069

VERIFY(data != NULL);

usr/src/cmd/ztest/ztest.c

5071

VERIFY(!data->zcd_called);

usr/src/cmd/ztest/ztest.c

5176

VERIFY(!cb_data[i]->zcd_called);

usr/src/cmd/ztest/ztest.c

5182

VERIFY(cb_data[i]->zcd_called);

usr/src/cmd/ztest/ztest.c

5195

VERIFY(0 == dmu_read(os, od[0].od_object, 0, sizeof (uint64_t),

usr/src/cmd/ztest/ztest.c

5246

VERIFY(!cb_data[i]->zcd_called);

usr/src/cmd/ztest/ztest.c

5472

VERIFY(ZIO_CHECKSUM_EQUAL(zc, zc_ref));

usr/src/cmd/ztest/ztest.c

5473

VERIFY(ZIO_CHECKSUM_EQUAL(zc_bswap, zc_ref_bswap));

usr/src/cmd/ztest/ztest.c

5485

VERIFY(ZIO_CHECKSUM_EQUAL(zc, zc_ref));

usr/src/cmd/ztest/ztest.c

5486

VERIFY(ZIO_CHECKSUM_EQUAL(zc_bswap, zc_ref_bswap));

usr/src/cmd/ztest/ztest.c

5792

VERIFY(vdev_offline(spa, guid0, flags) != EBUSY);

usr/src/cmd/ztest/ztest.c

6081

VERIFY(eligible_idx > 0);

usr/src/cmd/ztest/ztest.c

6697

VERIFY(thr_create(0, 0, ztest_resume_thread, spa, THR_BOUND,

usr/src/cmd/ztest/ztest.c

6703

VERIFY(thr_create(0, 0, ztest_deadman_thread, zs, THR_BOUND,

usr/src/cmd/ztest/ztest.c

6743

VERIFY(thr_create(0, 0, ztest_thread, (void *)(uintptr_t)t,

usr/src/cmd/ztest/ztest.c

6752

VERIFY(thr_join(tid[t], NULL, NULL) == 0);

usr/src/cmd/ztest/ztest.c

6767

VERIFY(thr_join(resume_tid, NULL, NULL) == 0);

usr/src/cmd/ztest/ztest.c

6933

VERIFY(nvlist_alloc(&props, NV_UNIQUE_NAME, 0) == 0);

usr/src/cmd/ztest/ztest.c

6937

VERIFY(nvlist_add_uint64(props, "autoreplace", 1) == 0);

usr/src/cmd/ztest/ztest.c

7166

VERIFY(0 == setenv("LD_LIBRARY_PATH", libpath, 1));

usr/src/cmd/ztest/ztest.c

7326

VERIFY(!exec_child(ztest_opts.zo_alt_ztest,

usr/src/cmd/ztest/ztest.c

7329

VERIFY(!exec_child(NULL, NULL, B_FALSE, NULL));

usr/src/cmd/ztest/ztest.c

837

VERIFY(NULL != realpath(getexecname(), cmd));

usr/src/cmd/ztest/ztest.c

843

VERIFY(NULL != realpath(altdir, realaltdir));

usr/src/cmd/ztest/ztest.c

959

VERIFY(nvlist_alloc(&file, NV_UNIQUE_NAME, 0) == 0);

usr/src/cmd/ztest/ztest.c

960

VERIFY(nvlist_add_string(file, ZPOOL_CONFIG_TYPE, VDEV_TYPE_FILE) == 0);

usr/src/cmd/ztest/ztest.c

961

VERIFY(nvlist_add_string(file, ZPOOL_CONFIG_PATH, path) == 0);

usr/src/cmd/ztest/ztest.c

962

VERIFY(nvlist_add_uint64(file, ZPOOL_CONFIG_ASHIFT, ashift) == 0);

usr/src/cmd/ztest/ztest.c

981

VERIFY(nvlist_alloc(&raidz, NV_UNIQUE_NAME, 0) == 0);

usr/src/cmd/ztest/ztest.c

982

VERIFY(nvlist_add_string(raidz, ZPOOL_CONFIG_TYPE,

usr/src/cmd/ztest/ztest.c

984

VERIFY(nvlist_add_uint64(raidz, ZPOOL_CONFIG_NPARITY,

usr/src/cmd/ztest/ztest.c

986

VERIFY(nvlist_add_nvlist_array(raidz, ZPOOL_CONFIG_CHILDREN,

usr/src/common/crypto/modes/cbc.c

331

VERIFY(modeval == CBC_MODE || modeval == CMAC_MODE);

usr/src/common/ctf/ctf_create.c

1215

VERIFY(type != CTF_ERR);

usr/src/common/ctf/ctf_create.c

1251

VERIFY(type != CTF_ERR);

usr/src/common/ctf/ctf_create.c

1295

VERIFY(type != CTF_ERR);

usr/src/common/ctf/ctf_create.c

1521

VERIFY(msize == 0);

usr/src/common/ctf/ctf_create.c

478

VERIFY(s + plen - s0 <= hdr.cth_strlen);

usr/src/common/ctf/ctf_create.c

491

VERIFY(s + len - s0 <= hdr.cth_strlen);

usr/src/common/ctf/ctf_create.c

518

VERIFY(s + len - s0 <= hdr.cth_strlen);

usr/src/common/ctf/ctf_create.c

622

VERIFY((uintptr_t)obj <= (uintptr_t)func);

usr/src/common/zfs/zfeature_common.c

162

VERIFY(((flags & ZFEATURE_FLAG_PER_DATASET) == 0) ||

usr/src/compat/bhyve/dev/pci/pcivar.h

31

VERIFY(pcie_get_bdf_from_dip(dev, &bdf) == DDI_SUCCESS);

usr/src/lib/fm/topo/modules/common/usb/topo_usb_metadata.c

312

VERIFY(parse->tp_state == TOPO_USB_P_ACPI_PATH);

usr/src/lib/libctf/common/ctf_diff.c

1023

VERIFY(*next < max);

usr/src/lib/libctf/common/ctf_diff.c

1234

VERIFY(*next < max);

usr/src/lib/libctf/common/ctf_diff.c

180

VERIFY(iref != CTF_ERR && oref != CTF_ERR);

usr/src/lib/libctf/common/ctf_dwarf.c

1301

VERIFY(bitsz < UINT32_MAX);

usr/src/lib/libctf/common/ctf_dwarf.c

1303

VERIFY(dtd != NULL);

usr/src/lib/libctf/common/ctf_dwarf.c

1308

VERIFY(dtd != NULL);

usr/src/lib/libctf/common/ctf_dwarf.c

1312

VERIFY(kind == CTF_K_INTEGER || kind == CTF_K_ENUM);

usr/src/lib/libctf/common/ctf_dwarf.c

1390

VERIFY(kind != CTF_ERR);

usr/src/lib/libctf/common/ctf_dwarf.c

1391

VERIFY(kind == CTF_K_STRUCT || kind == CTF_K_UNION);

usr/src/lib/libctf/common/ctf_dwarf.c

2955

VERIFY(ret == 0 || ret == 1);

usr/src/lib/libctf/common/ctf_dwarf.c

2993

VERIFY(cup != NULL);

usr/src/lib/libctf/common/ctf_dwarf.c

422

VERIFY(id > 0 && id < CTF_MAX_TYPE);

usr/src/lib/libctf/common/ctf_dwarf.c

436

VERIFY(avl_find(&cup->cu_map, dwmap, &index) == NULL);

usr/src/lib/libctf/common/ctf_dwarf.c

853

VERIFY(ctf_setmodel(cup->cu_ctfp, CTF_MODEL_ILP32) == 0);

usr/src/lib/libctf/common/ctf_dwarf.c

856

VERIFY(ctf_setmodel(cup->cu_ctfp, CTF_MODEL_LP64) == 0);

usr/src/lib/libctf/common/ctf_merge.c

114

VERIFY(cmp->cm_tmap[id].cmt_map != 0);

usr/src/lib/libctf/common/ctf_merge.c

119

VERIFY(cmp->cm_tmap[id].cmt_map != 0);

usr/src/lib/libctf/common/ctf_merge.c

122

VERIFY(cmp->cm_tmap[id].cmt_map != 0);

usr/src/lib/libctf/common/ctf_merge.c

137

VERIFY(cmt[oid].cmt_map == 0);

usr/src/lib/libctf/common/ctf_merge.c

1481

VERIFY(cmh->cmh_ninputs % 2 == 0);

usr/src/lib/libctf/common/ctf_merge.c

1505

VERIFY(final->cmi_input != NULL);

usr/src/lib/libctf/common/ctf_merge.c

1582

VERIFY(cmt[iid].cmt_map == 0);

usr/src/lib/libctf/common/ctf_merge.c

1620

VERIFY(cmi != NULL);

usr/src/lib/libctf/common/ctf_merge.c

1622

VERIFY(cmc != NULL);

usr/src/lib/libctf/common/ctf_merge.c

1625

VERIFY(ifp != NULL);

usr/src/lib/libctf/common/ctf_merge.c

1626

VERIFY(ofp != NULL);

usr/src/lib/libctf/common/ctf_merge.c

172

VERIFY(cmt[iid].cmt_map == 0);

usr/src/lib/libctf/common/ctf_merge.c

202

VERIFY(cmp->cm_tmap[id].cmt_map == 0);

usr/src/lib/libctf/common/ctf_merge.c

243

VERIFY(cmp->cm_tmap[id].cmt_map == 0);

usr/src/lib/libctf/common/ctf_merge.c

281

VERIFY(cmp->cm_tmap[id].cmt_map == 0);

usr/src/lib/libctf/common/ctf_merge.c

317

VERIFY(cmp->cm_tmap[id].cmt_map == 0);

usr/src/lib/libctf/common/ctf_merge.c

365

VERIFY(cmp->cm_tmap[id].cmt_map == 0);

usr/src/lib/libctf/common/ctf_merge.c

419

VERIFY(cmp->cm_tmap[id].cmt_map == 0);

usr/src/lib/libctf/common/ctf_merge.c

442

VERIFY(cmp->cm_tmap[id].cmt_map == 0);

usr/src/lib/libctf/common/ctf_merge.c

457

VERIFY(cms->cms_cm->cm_tmap[type].cmt_map != 0);

usr/src/lib/libctf/common/ctf_merge.c

497

VERIFY(cmp->cm_tmap[id].cmt_map == 0);

usr/src/lib/libctf/common/ctf_merge.c

517

VERIFY(cmp->cm_tmap[id].cmt_map == suid);

usr/src/lib/libctf/common/ctf_merge.c

608

VERIFY(mapid != 0);

usr/src/lib/libctf/common/ctf_merge.c

610

VERIFY(dtd != NULL);

usr/src/lib/libctf/common/ctf_merge.c

638

VERIFY(0);

usr/src/lib/libctf/common/ctf_merge.c

675

VERIFY(cmp->cm_tmap[i].cmt_map != 0);

usr/src/lib/libctf/common/ctf_merge.c

681

VERIFY(cmp->cm_tmap[tid].cmt_map != 0);

usr/src/lib/libctf/common/ctf_merge.c

684

VERIFY(cmp->cm_tmap[tid].cmt_map != 0);

usr/src/lib/libctf/common/ctf_merge.c

824

VERIFY(cmp->cm_tmap[cmo->cmo_tid].cmt_map != 0);

usr/src/lib/libctf/common/ctf_merge.c

832

VERIFY(cmp->cm_tmap[cmf->cmf_rtid].cmt_map != 0);

usr/src/lib/libctf/common/ctf_merge.c

835

VERIFY(cmp->cm_tmap[cmf->cmf_args[i]].cmt_map != 0);

usr/src/lib/libcustr/common/custr.c

173

VERIFY(cus->cus_strlen == 0);

usr/src/lib/libcustr/common/custr.c

174

VERIFY(cus->cus_datalen == 0);

usr/src/lib/libdemangle/common/cxx.c

1266

VERIFY(first[1] == 'a' || first[1] == 'w');

usr/src/lib/libdemangle/common/cxx.c

1332

VERIFY(first[1] == 'l' || first[1] == 'a');

usr/src/lib/libdemangle/common/cxx.c

2056

VERIFY(first[1] == 'e' || first[1] == 'i');

usr/src/lib/libdemangle/common/cxx.c

2086

VERIFY(first[1] == 'w' || first[1] == 'r');

usr/src/lib/libdemangle/common/cxx.c

2679

VERIFY(first[0] == 'f' || first[0] == 'd' || first[0] == 'e');

usr/src/lib/libdemangle/common/cxx.c

699

VERIFY(!nempty(db));

usr/src/lib/libdemangle/common/cxx_util.c

154

VERIFY(!name_empty(n));

usr/src/lib/libdemangle/common/cxx_util.c

229

VERIFY(name_add_str(n, &res, NULL));

usr/src/lib/libdemangle/common/cxx_util.c

256

VERIFY(val != 0 || errno == 0);

usr/src/lib/libdemangle/common/cxx_util.c

285

VERIFY(*p == '}');

usr/src/lib/libdemangle/common/cxx_util.c

438

VERIFY(name_add_str(dest, &copy.strp_l, &copy.strp_r));

usr/src/lib/libdemangle/common/cxx_util.c

540

VERIFY(!templ_empty(tpl));

usr/src/lib/libdemangle/common/rust-legacy.c

263

VERIFY(sv_consume_if_c(svp, 'h'));

usr/src/lib/libdemangle/common/rust-legacy.c

328

VERIFY(sv_consume_if_c(&sv, '$'));

usr/src/lib/libfakekernel/common/ksocket.c

112

VERIFY(ks != NULL);

usr/src/lib/libfakekernel/common/ksocket.c

94

VERIFY(ksocket_cache != NULL);

usr/src/lib/libfakekernel/common/mutex.c

59

VERIFY(mp->m_owner != t);

usr/src/lib/libfakekernel/common/mutex.c

60

VERIFY(0 == _lwp_mutex_lock(&mp->m_lock));

usr/src/lib/libfakekernel/common/rwlock.c

108

VERIFY(rw_unlock(&rwlp->rw_lock) == 0);

usr/src/lib/libfakekernel/common/rwlock.c

109

VERIFY(rw_rdlock(&rwlp->rw_lock) == 0);

usr/src/lib/libfakekernel/common/rwlock.c

65

VERIFY(rc == 0);

usr/src/lib/libi2c/common/libi2c.c

366

VERIFY(i2c_addr_to_string(hdl, &addr, addrstr,

usr/src/lib/libktest/common/libktest.c

188

VERIFY(iter->kli_modules != NULL);

usr/src/lib/libvmm/libvmm.c

259

VERIFY(ms->vms_segoff >= 0);

usr/src/lib/libzfs/common/libzfs_diff.c

737

VERIFY(di->cleanupfd >= 0);

usr/src/lib/libzfs/common/libzfs_impl.h

52

#ifdef VERIFY

usr/src/lib/libzfs/common/libzfs_mount.c

441

VERIFY(zfs_spa_version(zhp, &spa_version) == 0);

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1121

VERIFY(0 == nvlist_alloc(&thisdbg, NV_UNIQUE_NAME, 0));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1123

VERIFY(0 == nvlist_add_string(thisdbg,

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1132

VERIFY(0 == nvlist_add_uint64(thisdbg, "error", errno));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1134

VERIFY(0 == nvlist_add_nvlist(debugnv,

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1179

VERIFY(0 == nvlist_add_nvlist(debugnv, zhp->zfs_name, thisdbg));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1346

VERIFY(0 == nvlist_lookup_nvlist(nvfs,

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1348

VERIFY(0 == nvlist_lookup_nvlist(snapprops,

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1504

VERIFY(0 == nvpair_value_nvlist(fspair, &nvfs));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1512

VERIFY(0 == nvlist_lookup_nvlist(origin_nv,

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1514

VERIFY(0 == nvlist_lookup_nvlist(snapprops,

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1516

VERIFY(0 == nvlist_add_boolean(

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1532

VERIFY(nvpair_value_nvlist(fspair, &fslist) == 0);

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1536

VERIFY(nvlist_lookup_string(fslist, "name", &fsname) == 0);

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1568

VERIFY(nvlist_add_boolean(fslist, "sent") == 0);

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1584

VERIFY(nvpair_value_nvlist(fspair, &fslist) == 0);

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1923

VERIFY(0 == nvlist_alloc(&hdrnv, NV_UNIQUE_NAME, 0));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1925

VERIFY(0 == nvlist_add_string(hdrnv,

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1928

VERIFY(0 == nvlist_add_string(hdrnv, "tosnap", tosnap));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1930

VERIFY(0 == nvlist_add_boolean(hdrnv,

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1934

VERIFY(0 == nvlist_add_boolean(hdrnv, "raw"));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

1967

VERIFY(0 == nvlist_add_nvlist(hdrnv, "fss", fss));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

2127

VERIFY(0 == close(sdd.cleanup_fd));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

2156

VERIFY(0 == close(sdd.cleanup_fd));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

2639

VERIFY(0 == nvlist_lookup_string(nvfs, "name", &fsname));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

2646

VERIFY(0 == nvlist_lookup_string(nvfs, "name", &fsname));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

2692

VERIFY(0 == nvlist_lookup_nvlist(stream_nv, "fss", &stream_fss));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

2706

VERIFY(0 == nvpair_value_nvlist(fselem, &stream_nvfs));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

2707

VERIFY(0 == nvlist_lookup_nvlist(stream_nvfs, "snaps", &snaps));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

2708

VERIFY(0 == nvlist_lookup_nvlist(stream_nvfs, "props", &props));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

2716

VERIFY(0 == nvpair_value_uint64(snapel, &guid));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

2761

VERIFY(0 == nvlist_lookup_string(props,

usr/src/lib/libzfs/common/libzfs_sendrecv.c

2828

VERIFY(0 == nvlist_lookup_string(stream_nv, "fromsnap", &fromsnap));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

2860

VERIFY(0 == nvpair_value_nvlist(fselem, &nvfs));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

2861

VERIFY(0 == nvlist_lookup_nvlist(nvfs, "snaps", &snaps));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

2862

VERIFY(0 == nvlist_lookup_string(nvfs, "name", &fsname));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

2863

VERIFY(0 == nvlist_lookup_uint64(nvfs, "parentfromsnap",

usr/src/lib/libzfs/common/libzfs_sendrecv.c

2875

VERIFY(0 == nvpair_value_uint64(snapelem, &thisguid));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

2895

VERIFY(0 == nvlist_lookup_string(origin_nvfs,

usr/src/lib/libzfs/common/libzfs_sendrecv.c

2927

VERIFY(0 == nvpair_value_uint64(snapelem, &thisguid));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

3015

VERIFY(0 == nvlist_lookup_string(stream_nvfs,

usr/src/lib/libzfs/common/libzfs_sendrecv.c

3017

VERIFY(0 == nvlist_lookup_uint64(stream_nvfs,

usr/src/lib/libzfs/common/libzfs_sendrecv.c

3048

VERIFY(0 == nvlist_lookup_string(parent, "name",

usr/src/lib/libzfs/common/libzfs_sendrecv.c

3066

VERIFY(0 == nvlist_add_boolean(renamed,

usr/src/lib/libzfs/common/libzfs_sendrecv.c

3174

VERIFY(0 == nvlist_lookup_nvlist(stream_nv, "fss",

usr/src/lib/libzfs/common/libzfs_sendrecv.c

3211

VERIFY(0 == nvlist_alloc(&renamed,

usr/src/lib/libzfs/common/libzfs_sendrecv.c

3703

VERIFY(0 == nvlist_alloc(&rcvprops, NV_UNIQUE_NAME, 0));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

3723

VERIFY(0 == nvlist_add_uint64(rcvprops,

usr/src/lib/libzfs/common/libzfs_sendrecv.c

3731

VERIFY(0 == nvlist_lookup_nvlist(lookup,

usr/src/lib/libzfs/common/libzfs_sendrecv.c

3737

VERIFY(0 == nvlist_lookup_nvlist(lookup,

usr/src/lib/libzfs/common/libzfs_sendrecv.c

4230

VERIFY(0 == nvlist_alloc(&holds, 0, KM_SLEEP));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

4234

VERIFY(0 == nvlist_add_string(holds, destsnap,

usr/src/lib/libzfs/common/libzfs_sendrecv.c

4447

VERIFY(0 == nvlist_add_string(rcvprops,

usr/src/lib/libzfs/common/libzfs_sendrecv.c

4624

VERIFY(finalsnap == NULL);

usr/src/lib/libzfs/common/libzfs_sendrecv.c

4660

VERIFY(cleanup_fd >= 0);

usr/src/lib/libzfs/common/libzfs_sendrecv.c

4665

VERIFY(0 == close(cleanup_fd));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

560

VERIFY(0 == nvpair_value_nvlist(fselem, &nvfs));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

561

VERIFY(0 == nvlist_lookup_nvlist(nvfs, "snaps", &snaps));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

568

VERIFY(0 == nvpair_value_uint64(snapelem, &guid));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

676

VERIFY(0 == nvlist_add_uint64(sd->parent_snaps, snapname, guid));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

687

VERIFY(0 == nvlist_alloc(&nv, NV_UNIQUE_NAME, 0));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

689

VERIFY(0 == nvlist_add_nvlist(sd->snapprops, snapname, nv));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

695

VERIFY(0 == nvlist_add_nvlist(sd->snapholds,

usr/src/lib/libzfs/common/libzfs_sendrecv.c

773

VERIFY(0 == nvlist_add_string(nv, propname, value));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

778

VERIFY(0 == nvlist_add_uint64(nv, propname, value));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

862

VERIFY(0 == nvlist_alloc(&nvfs, NV_UNIQUE_NAME, 0));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

863

VERIFY(0 == nvlist_add_string(nvfs, "name", zhp->zfs_name));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

864

VERIFY(0 == nvlist_add_uint64(nvfs, "parentfromsnap",

usr/src/lib/libzfs/common/libzfs_sendrecv.c

874

VERIFY(0 == nvlist_add_uint64(nvfs, "origin",

usr/src/lib/libzfs/common/libzfs_sendrecv.c

880

VERIFY(0 == nvlist_alloc(&nv, NV_UNIQUE_NAME, 0));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

894

VERIFY(0 == nvlist_add_boolean(nvfs, "is_encroot"));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

914

VERIFY(0 == nvlist_add_nvlist(nvfs, "props", nv));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

918

VERIFY(0 == nvlist_alloc(&sd->parent_snaps, NV_UNIQUE_NAME, 0));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

919

VERIFY(0 == nvlist_alloc(&sd->snapprops, NV_UNIQUE_NAME, 0));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

921

VERIFY(0 == nvlist_alloc(&sd->snapholds, NV_UNIQUE_NAME, 0));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

923

VERIFY(0 == nvlist_add_nvlist(nvfs, "snaps", sd->parent_snaps));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

924

VERIFY(0 == nvlist_add_nvlist(nvfs, "snapprops", sd->snapprops));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

926

VERIFY(0 == nvlist_add_nvlist(nvfs, "snapholds",

usr/src/lib/libzfs/common/libzfs_sendrecv.c

947

VERIFY(0 == nvlist_add_nvlist(sd->fss, guidstring, nvfs));

usr/src/lib/libzfs/common/libzfs_sendrecv.c

978

VERIFY(0 == nvlist_alloc(&sd.fss, NV_UNIQUE_NAME, 0));

usr/src/lib/libzfs/common/libzfs_taskq.c

171

VERIFY(ret == 0 || ret == EINTR);

usr/src/lib/libzfs/common/libzfs_taskq.c

190

VERIFY(ret == 0 || ret == EINTR);

usr/src/lib/libzfs/common/libzfs_taskq.c

274

VERIFY(ret == 0 || ret == EINTR);

usr/src/lib/libzpool/common/util.c

138

VERIFY(spa_get_stats(spa_name(spa), &config, NULL, 0) == 0);

usr/src/lib/libzpool/common/util.c

140

VERIFY(nvlist_lookup_nvlist(config, ZPOOL_CONFIG_VDEV_TREE,

usr/src/lib/libzpool/common/util.c

142

VERIFY(nvlist_lookup_string(config, ZPOOL_CONFIG_POOL_NAME,

usr/src/lib/mergeq/mergeq.c

225

VERIFY(mqp->mq_working != B_TRUE);

usr/src/lib/mergeq/mergeq.c

300

VERIFY(MUTEX_HELD(&mqp->mq_lock));

usr/src/lib/mergeq/mergeq.c

301

VERIFY(mqp->mq_working == B_FALSE);

usr/src/lib/mergeq/mergeq.c

323

VERIFY(MUTEX_HELD(&mqp->mq_lock));

usr/src/lib/mergeq/mergeq.c

324

VERIFY(mqp->mq_working == B_FALSE);

usr/src/lib/mergeq/mergeq.c

372

VERIFY(MUTEX_HELD(&mqp->mq_lock));

usr/src/lib/mergeq/mergeq.c

373

VERIFY(mqp->mq_next < mqp->mq_cap);

usr/src/lib/mergeq/mergeq.c

378

VERIFY(mqp->mq_nproc != (mqp->mq_next + 1) % mqp->mq_cap);

usr/src/lib/mergeq/mergeq.c

397

VERIFY(MUTEX_HELD(&mqp->mq_lock));

usr/src/lib/mergeq/mergeq.c

398

VERIFY(slot < mqp->mq_cap);

usr/src/lib/mergeq/mergeq.c

430

VERIFY(mqp->mq_gnext != mqp->mq_gnproc ||

usr/src/lib/mergeq/mergeq.c

454

VERIFY(MUTEX_HELD(&mqp->mq_lock));

usr/src/lib/mergeq/mergeq.c

455

VERIFY(mqp->mq_nproc < mqp->mq_cap);

usr/src/lib/mergeq/mergeq.c

465

VERIFY(mqp->mq_iserror == B_TRUE || mqp->mq_nitems == 1);

usr/src/lib/mergeq/mergeq.c

468

VERIFY(mqp->mq_nitems >= 2);

usr/src/lib/mergeq/mergeq.c

586

VERIFY(mqp->mq_nactthrs == 0);

usr/src/lib/mergeq/mergeq.c

589

VERIFY(mqp->mq_nitems == 1);

usr/src/lib/mergeq/workq.c

137

VERIFY(MUTEX_HELD(&wqp->wq_lock));

usr/src/lib/mergeq/workq.c

138

VERIFY(wqp->wq_working == B_FALSE);

usr/src/lib/mergeq/workq.c

155

VERIFY(MUTEX_HELD(&wqp->wq_lock));

usr/src/lib/mergeq/workq.c

156

VERIFY(wqp->wq_working == B_FALSE);

usr/src/lib/mergeq/workq.c

205

VERIFY(MUTEX_HELD(&wqp->wq_lock));

usr/src/lib/mergeq/workq.c

206

VERIFY(wqp->wq_next < wqp->wq_nitems);

usr/src/lib/mergeq/workq.c

221

VERIFY(wqp->wq_working == B_TRUE);

usr/src/lib/mergeq/workq.c

300

VERIFY(wqp->wq_iserror == B_FALSE);

usr/src/lib/mergeq/workq.c

56

VERIFY(err != 0);

usr/src/lib/mergeq/workq.c

67

VERIFY(wqp->wq_working != B_TRUE);

usr/src/lib/pkcs11/pkcs11_softtoken/common/softAESCrypt.c

667

VERIFY(speculate);

usr/src/lib/scsi/libscsi/common/libscsi_impl.h

84

#define ASSERT(x) VERIFY(x)

usr/src/lib/scsi/libses/common/libses_plugin.h

92

#define ASSERT(x) VERIFY(x)

usr/src/lib/scsi/libsmp/common/libsmp_plugin.h

53

#define ASSERT(x) VERIFY(x)

usr/src/lib/scsi/plugins/ses/SUN-Storage-J4400/common/riverwalk.c

113

VERIFY(nvlist_lookup_uint64(props, SES_PROP_ELEMENT_TYPE,

usr/src/lib/scsi/plugins/ses/SUN-Storage-J4400/common/riverwalk.c

115

VERIFY(nvlist_lookup_uint64(props, SES_PROP_ELEMENT_CLASS_INDEX,

usr/src/lib/scsi/plugins/ses/SUN-Storage-J4500/common/loki.c

102

VERIFY(nvlist_lookup_uint64(props, SES_PROP_ELEMENT_CLASS_INDEX,

usr/src/lib/scsi/plugins/ses/SUN-Storage-J4500/common/loki.c

124

VERIFY(nvlist_lookup_nvlist(props, SES_EN_PROP_LID, &lid) == 0);

usr/src/lib/scsi/plugins/ses/SUN-Storage-J4500/common/loki.c

125

VERIFY(nvlist_lookup_uint64(lid, SPC3_NAA_INT, &wwn) == 0);

usr/src/lib/scsi/plugins/ses/SUN-Storage-J4500/common/loki.c

92

VERIFY(nvlist_lookup_uint64(props, SES_PROP_ELEMENT_TYPE,

usr/src/lib/scsi/plugins/ses/libses/common/libses.c

65

VERIFY(nvlist_lookup_uint64(lid, SPC3_NAA_INT, &id) == 0);

usr/src/lib/scsi/plugins/ses/ses2/common/ses2_element.c

555

VERIFY(nvlist_lookup_uint64(nvl, SES_PROP_ELEMENT_TYPE,

usr/src/lib/scsi/plugins/ses/ses2/common/ses2_element.c

940

VERIFY(nvlist_lookup_uint64(props, SES_PROP_ELEMENT_TYPE,

usr/src/lib/scsi/plugins/ses/ses2/common/ses2_element.c

966

VERIFY(nvlist_lookup_uint64(nvl, SES_PROP_ELEMENT_TYPE,

usr/src/lib/scsi/plugins/ses/ses2/common/ses2_element_ctl.c

1855

VERIFY(nvlist_lookup_uint64(props, SES_PROP_ELEMENT_TYPE,

usr/src/lib/scsi/plugins/ses/ses2/common/ses2_element_ctl.c

1875

VERIFY(nvlist_lookup_uint64(props, SES_PROP_ELEMENT_TYPE, &type) == 0);

usr/src/lib/scsi/plugins/ses/ses2/common/ses2_enclosure_ctl.c

173

VERIFY(nvlist_lookup_uint64(props, SES_EN_PROP_EID, &eid) == 0);

usr/src/lib/scsi/plugins/ses/ses2/common/ses2_enclosure_ctl.c

215

VERIFY(nvlist_lookup_uint64(props, SES_EN_PROP_EID, &eid) == 0);

usr/src/lib/scsi/plugins/ses/ses2/common/ses2_enclosure_ctl.c

323

VERIFY(nvlist_lookup_uint64(props, SES_PROP_ELEMENT_TYPE, &type) == 0);

usr/src/lib/scsi/plugins/ses/ses2/common/ses2_pages.c

168

VERIFY(nvlist_lookup_uint64(props, SES_PROP_ELEMENT_INDEX,

usr/src/lib/scsi/plugins/ses/ses2/common/ses2_pages.c

325

VERIFY(nvlist_lookup_uint64(props, SES_PROP_ELEMENT_INDEX,

usr/src/lib/scsi/plugins/ses/ses2/common/ses2_pages.c

382

VERIFY(nvlist_lookup_uint64(props, SES_EN_PROP_EID, &eid) == 0);

usr/src/lib/scsi/plugins/ses/ses2/common/ses2_pages.c

69

VERIFY(nvlist_lookup_uint64(props, SES_PROP_ELEMENT_ONLY_INDEX,

usr/src/lib/scsi/plugins/ses/ses2/common/ses2_pages.c

71

VERIFY(nvlist_lookup_uint64(props, SES_PROP_ELEMENT_INDEX,

usr/src/lib/scsi/plugins/ses/ses2/common/ses2_pages.c

73

VERIFY(nvlist_lookup_uint64(props, SES_PROP_ELEMENT_TYPE,

usr/src/lib/smbclnt/libfknsmb/common/fake_fio.c

117

VERIFY(fd >= 0 && fd < FAKEFDS);

usr/src/lib/smbclnt/libfksmbfs/common/fake_fssub.c

314

VERIFY(0 == acl_trivial_create(vattr.va_mode,

usr/src/lib/smbclnt/libfksmbfs/common/fake_vnode.c

407

VERIFY(vp->v_count > 0);

usr/src/lib/smbclnt/libfksmbfs/common/fake_vnode.c

626

VERIFY(vp->v_path != NULL);

usr/src/lib/smbclnt/libfksmbfs/common/fake_vnode.c

727

VERIFY(vp->v_path != NULL);

usr/src/lib/smbsrv/libfksmbsrv/common/fake_xattr.c

222

VERIFY(nvlist_add_boolean_value(nvl,

usr/src/lib/smbsrv/libfksmbsrv/common/fake_xattr.c

228

VERIFY(nvlist_add_boolean_value(nvl,

usr/src/lib/smbsrv/libfksmbsrv/common/fake_xattr.c

234

VERIFY(nvlist_add_boolean_value(nvl,

usr/src/lib/smbsrv/libfksmbsrv/common/fake_xattr.c

240

VERIFY(nvlist_add_boolean_value(nvl,

usr/src/lib/smbsrv/libfksmbsrv/common/fake_xattr.c

248

VERIFY(nvlist_add_uint64_array(nvl,

usr/src/lib/smbsrv/libfksmbsrv/common/fake_xattr.c

254

VERIFY(nvlist_add_boolean_value(nvl,

usr/src/lib/smbsrv/libfksmbsrv/common/fake_xattr.c

260

VERIFY(nvlist_add_boolean_value(nvl,

usr/src/lib/smbsrv/libfksmbsrv/common/fake_xattr.c

266

VERIFY(nvlist_add_boolean_value(nvl,

usr/src/test/libc-tests/tests/stdbit.c

1232

VERIFY(test->st_res == 0 || test->st_res == 1);

usr/src/test/libc-tests/tests/strerror.c

112

VERIFY(loc != NULL);

usr/src/test/libc-tests/tests/threads/pthread_attr_get_np.c

107

VERIFY(ret == 0 || ret == PTHREAD_BARRIER_SERIAL_THREAD);

usr/src/test/nvme-tests/tests/libnvme/libnvme_test_common.c

335

VERIFY(type == NVME_NS_ATTACH_CTRL_DETACH ||

usr/src/test/os-tests/tests/ilstr/ilstr_basic.c

207

VERIFY(!ilstr_is_empty(ils));

usr/src/test/os-tests/tests/ilstr/ilstr_basic.c

283

VERIFY(strcmp(ilstr_cstr(ils), "") == 0);

usr/src/test/os-tests/tests/ilstr/ilstr_basic.c

301

VERIFY(ilstr_is_empty(ils));

usr/src/test/os-tests/tests/ilstr/ilstr_basic.c

313

VERIFY(!ilstr_is_empty(ils));

usr/src/test/os-tests/tests/ilstr/ilstr_basic.c

317

VERIFY(!ilstr_is_empty(ils));

usr/src/test/os-tests/tests/ilstr/ilstr_basic.c

34

VERIFY(check != NULL); \

usr/src/test/os-tests/tests/ilstr/ilstr_basic.c

77

VERIFY(ilstr_is_empty(ils));

usr/src/test/os-tests/tests/ilstr/ilstr_basic.c

78

VERIFY(ilstr_cstr(ils) != NULL);

usr/src/test/os-tests/tests/mac/mac_parsing.c

101

VERIFY(tp->tp_sz == 0);

usr/src/test/os-tests/tests/mac/mac_parsing.c

104

VERIFY(tp->tp_bytes != NULL);

usr/src/test/os-tests/tests/mac/mac_parsing.c

111

VERIFY(tp->tp_bytes != NULL);

usr/src/test/os-tests/tests/mac/mac_parsing.c

268

VERIFY(tp->tp_sz == sizeof (struct ether_header));

usr/src/test/os-tests/tests/mac/mac_parsing.c

354

VERIFY(tp->tp_sz == sizeof (struct ether_header));

usr/src/test/os-tests/tests/mac/mac_parsing.c

477

VERIFY(payload_packed != NULL);

usr/src/test/os-tests/tests/mac/mac_parsing.c

511

VERIFY(splits != NULL);

usr/src/test/os-tests/tests/mac/mac_parsing.c

528

VERIFY(splits != NULL);

usr/src/test/os-tests/tests/mac/mac_parsing.c

84

VERIFY(buf != NULL);

usr/src/test/util-tests/tests/demangle/afl-fast.c

2945

VERIFY(errno == EINVAL || errno == ENAMETOOLONG);

usr/src/test/util-tests/tests/demangle/llvm-stdcxxabi.c

29700

VERIFY(strcmp(fptests[i].demangled[0], res) == 0 ||

usr/src/tools/find_elf/find_elf.c

437

VERIFY(!names->ns_names[0].n_is_symlink);

usr/src/uts/common/contract/device.c

1808

VERIFY(nvlist_dup(tnvl, &nvl, 0) == 0);

usr/src/uts/common/contract/device.c

1812

VERIFY(nvlist_add_uint64(nvl, CTS_NEVID, nevid)

usr/src/uts/common/contract/device.c

1814

VERIFY(nvlist_lookup_int32(nvl, CTS_NEWCT,

usr/src/uts/common/contract/device.c

1816

VERIFY(nvlist_add_int32(nvl, CTS_NEWCT,

usr/src/uts/common/contract/device.c

1949

VERIFY(nvlist_alloc(&nvl, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/contract/device.c

1978

VERIFY(nvlist_alloc(&nvl, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/contract/device.c

1997

VERIFY(nvlist_alloc(&nvl, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/contract/device.c

2022

VERIFY(nvlist_alloc(&nvl, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/contract/device.c

2023

VERIFY(nvlist_add_int32(nvl, CTS_NEWCT,

usr/src/uts/common/contract/device.c

886

VERIFY(nvlist_add_uint32(nvl, CTDS_STATE, ctd->cond_state) == 0);

usr/src/uts/common/contract/device.c

887

VERIFY(nvlist_add_uint32(nvl, CTDS_ASET, ctd->cond_aset) == 0);

usr/src/uts/common/contract/device.c

888

VERIFY(nvlist_add_uint32(nvl, CTDS_NONEG, ctd->cond_noneg) == 0);

usr/src/uts/common/contract/device.c

896

VERIFY(nvlist_add_string(nvl, CTDS_MINOR, ctd->cond_minor) == 0);

usr/src/uts/common/contract/process.c

1052

VERIFY(nvlist_alloc(&nvl, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/contract/process.c

1053

VERIFY(nvlist_add_uint32(nvl, CTPE_PID, cp->p_pid) == 0);

usr/src/uts/common/contract/process.c

1054

VERIFY(nvlist_add_uint32(nvl, CTPE_PPID, pp->p_pid) == 0);

usr/src/uts/common/contract/process.c

1082

VERIFY(nvlist_alloc(&nvl, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/contract/process.c

1083

VERIFY(nvlist_add_uint32(nvl, CTPE_PID, p->p_pid) == 0);

usr/src/uts/common/contract/process.c

1084

VERIFY(nvlist_add_uint32(nvl, CTPE_SIGNAL, sig) == 0);

usr/src/uts/common/contract/process.c

1086

VERIFY(nvlist_add_string(nvl, CTPE_PCOREFILE,

usr/src/uts/common/contract/process.c

1089

VERIFY(nvlist_add_string(nvl, CTPE_GCOREFILE,

usr/src/uts/common/contract/process.c

1097

VERIFY(nvlist_alloc(&gnvl, NV_UNIQUE_NAME,

usr/src/uts/common/contract/process.c

1099

VERIFY(nvlist_add_string(gnvl, CTPE_ZCOREFILE,

usr/src/uts/common/contract/process.c

1132

VERIFY(nvlist_alloc(&nvl, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/contract/process.c

1133

VERIFY(nvlist_add_uint32(nvl, CTPE_PID, p->p_pid) == 0);

usr/src/uts/common/contract/process.c

1168

VERIFY(nvlist_alloc(&nvl, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/contract/process.c

1169

VERIFY(nvlist_add_uint32(nvl, CTPE_PID, p->p_pid) == 0);

usr/src/uts/common/contract/process.c

1170

VERIFY(nvlist_add_uint32(nvl, CTPE_SIGNAL, sig) == 0);

usr/src/uts/common/contract/process.c

1173

VERIFY(nvlist_alloc(&gnvl, NV_UNIQUE_NAME,

usr/src/uts/common/contract/process.c

1181

VERIFY(nvlist_add_uint32(dest, CTPE_SENDER, pid) == 0);

usr/src/uts/common/contract/process.c

1183

VERIFY(nvlist_add_uint32(dest, CTPE_SENDCT, ctid) == 0);

usr/src/uts/common/contract/process.c

723

VERIFY(nvlist_add_uint32(nvl, CTPS_PARAMS, ctp->conp_params) == 0);

usr/src/uts/common/contract/process.c

724

VERIFY(nvlist_add_uint32(nvl, CTPS_EV_FATAL, ctp->conp_ev_fatal) == 0);

usr/src/uts/common/contract/process.c

726

VERIFY(nvlist_add_uint32_array(nvl, CTPS_MEMBERS, pids,

usr/src/uts/common/contract/process.c

728

VERIFY(nvlist_add_uint32_array(nvl, CTPS_CONTRACTS, ctids,

usr/src/uts/common/contract/process.c

730

VERIFY(nvlist_add_string(nvl, CTPS_CREATOR_AUX,

usr/src/uts/common/contract/process.c

732

VERIFY(nvlist_add_string(nvl, CTPS_SVC_CREATOR,

usr/src/uts/common/contract/process.c

747

VERIFY(nvlist_add_int32(nvl, CTPS_SVC_CTID,

usr/src/uts/common/contract/process.c

749

VERIFY(nvlist_add_string(nvl, CTPS_SVC_FMRI,

usr/src/uts/common/contract/process.c

754

VERIFY(nvlist_add_int32(nvl, CTPS_SVC_CTID,

usr/src/uts/common/contract/process.c

756

VERIFY(nvlist_add_string(nvl, CTPS_SVC_FMRI,

usr/src/uts/common/contract/process.c

949

VERIFY(nvlist_alloc(&nvl, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/contract/process.c

950

VERIFY(nvlist_add_uint32(nvl, CTPE_PID, p->p_pid) == 0);

usr/src/uts/common/contract/process.c

951

VERIFY(nvlist_add_int32(nvl, CTPE_EXITSTATUS, exitstatus) == 0);

usr/src/uts/common/contract/process.c

967

VERIFY(nvlist_alloc(&nvl, NV_UNIQUE_NAME,

usr/src/uts/common/contract/process.c

969

VERIFY(nvlist_add_uint32(nvl, CTPE_PID, p->p_pid) == 0);

usr/src/uts/common/crypto/io/viorand.c

196

VERIFY(MUTEX_HELD(&state->vio_mutex));

usr/src/uts/common/crypto/io/viorand.c

211

VERIFY(MUTEX_HELD(&state->vio_mutex));

usr/src/uts/common/crypto/io/viorand.c

230

VERIFY(MUTEX_HELD(&state->vio_mutex));

usr/src/uts/common/crypto/io/viorand.c

258

VERIFY(MUTEX_HELD(&state->vio_mutex));

usr/src/uts/common/disp/thread.c

1173

VERIFY(t->t_ctx != NULL);

usr/src/uts/common/dtrace/dtrace.c

13608

VERIFY(dstate->dtds_chunksize < LONG_MAX);

usr/src/uts/common/dtrace/dtrace.c

13650

VERIFY((uintptr_t)start < limit);

usr/src/uts/common/dtrace/dtrace.c

13651

VERIFY((uintptr_t)start >= (uintptr_t)base);

usr/src/uts/common/dtrace/dtrace.c

13674

VERIFY(limit <= (uintptr_t)base + size);

usr/src/uts/common/dtrace/dtrace.c

13683

VERIFY((uintptr_t)dvar >= (uintptr_t)base &&

usr/src/uts/common/dtrace/dtrace.c

15687

VERIFY(p->p_stat == SIDL);

usr/src/uts/common/dtrace/dtrace.c

6106

VERIFY(id < vstate->dtvs_nglobals);

usr/src/uts/common/dtrace/dtrace.c

6199

VERIFY(id < vstate->dtvs_nlocals);

usr/src/uts/common/dtrace/dtrace.c

6278

VERIFY(id < vstate->dtvs_ntlocals);

usr/src/uts/common/dtrace/dtrace.c

6394

VERIFY(id < vstate->dtvs_ntlocals);

usr/src/uts/common/dtrace/dtrace.c

6397

VERIFY(id < vstate->dtvs_nglobals);

usr/src/uts/common/dtrace/dtrace.c

6436

VERIFY(id < vstate->dtvs_ntlocals);

usr/src/uts/common/dtrace/dtrace.c

6439

VERIFY(id < vstate->dtvs_nglobals);

usr/src/uts/common/dtrace/dtrace.c

647

VERIFY((scope == DIFV_SCOPE_GLOBAL && size <= maxglobalsize) ||

usr/src/uts/common/exec/elf/elf.c

2355

VERIFY(tmp == NULL);

usr/src/uts/common/fs/bootfs/bootfs_construct.c

255

VERIFY(bootfs_mknode(bfs, bnp, &nbnp, p, nlen,

usr/src/uts/common/fs/ctfs/ctfs_ctl.c

303

VERIFY(nvlist_alloc(&foo, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/ctfs/ctfs_ctl.c

306

VERIFY(nvlist_pack(foo, &bufp, &len, NV_ENCODE_NATIVE,

usr/src/uts/common/fs/ctfs/ctfs_latest.c

78

VERIFY(gfs_dir_lookup(cvp, "status", &svp,

usr/src/uts/common/fs/ctfs/ctfs_sym.c

69

VERIFY(snprintf(symnode->ctfs_sn_string, len, "../%s/%ld",

usr/src/uts/common/fs/dcfs/dc_vnops.c

803

VERIFY(dp->dc_hdr == NULL);

usr/src/uts/common/fs/dcfs/dc_vnops.c

804

VERIFY(dp->dc_subvp == NULL);

usr/src/uts/common/fs/dev/sdev_plugin.c

478

VERIFY(spp->sp_nnodes > 0);

usr/src/uts/common/fs/dev/sdev_plugin.c

631

VERIFY(vp->v_op == sdev_vnodeops);

usr/src/uts/common/fs/dev/sdev_subr.c

1359

VERIFY(dv->sdev_state != SDEV_ZOMBIE);

usr/src/uts/common/fs/dev/sdev_subr.c

1546

VERIFY(dup->sdev_state != SDEV_ZOMBIE);

usr/src/uts/common/fs/dev/sdev_subr.c

2959

VERIFY(dv->sdev_nlink == 1);

usr/src/uts/common/fs/dev/sdev_subr.c

875

VERIFY(avl_find(&ddv->sdev_entries, dv, &where) == NULL);

usr/src/uts/common/fs/dev/sdev_subr.c

888

VERIFY(RW_WRITE_HELD(&dv->sdev_contents));

usr/src/uts/common/fs/dev/sdev_subr.c

890

VERIFY(dv->sdev_nlink >= 1);

usr/src/uts/common/fs/dev/sdev_subr.c

893

VERIFY(dv->sdev_nlink == 0);

usr/src/uts/common/fs/dev/sdev_vnops.c

1449

VERIFY(RW_READ_HELD(&dv->sdev_contents));

usr/src/uts/common/fs/dev/sdev_zvolops.c

413

VERIFY(devzvol_zclist_task_running == B_TRUE);

usr/src/uts/common/fs/devfs/devfs_subr.c

543

VERIFY(avl_find(&ddv->dv_entries, dv, &where) == NULL);

usr/src/uts/common/fs/fs_subr.c

655

VERIFY(0 == acl_trivial_create(vattr.va_mode,

usr/src/uts/common/fs/nfs/nfs4_state.c

1194

VERIFY(nsrv4 != NULL);

usr/src/uts/common/fs/nfs/nfs4_state.c

1205

VERIFY(nsrv4->rfs4_client_tab != NULL);

usr/src/uts/common/fs/nfs/nfs4_state.c

2612

VERIFY(vsd_set(vp, nfs4_srv_vkey, (void *)fp) == 0);

usr/src/uts/common/fs/nfs/nfs4x_state.c

483

VERIFY(0);

usr/src/uts/common/fs/nfs/nfs_export.c

986

VERIFY(cr != NULL);

usr/src/uts/common/fs/proc/prcontrol.c

352

VERIFY(cmdsize == sizeof (int32_t) || cmdsize == sizeof (long));

usr/src/uts/common/fs/proc/prcontrol.c

563

VERIFY(prwc.prwc_need32);

usr/src/uts/common/fs/smbclnt/netsmb/smb_dev.c

389

VERIFY(cmpldev(dev32p, dev) != 0);

usr/src/uts/common/fs/smbclnt/smbfs/smbfs_vnops.c

330

VERIFY(fid != NULL);

usr/src/uts/common/fs/smbsrv/smb2_dispatch.c

226

VERIFY(tqid != TASKQID_INVALID);

usr/src/uts/common/fs/smbsrv/smb2_durable.c

337

VERIFY(tqid != TASKQID_INVALID);

usr/src/uts/common/fs/smbsrv/smb3_encrypt.c

483

VERIFY(u != NULL); // and have sr->th_ssnid

usr/src/uts/common/fs/smbsrv/smb_dispatch.c

602

VERIFY(tqid != TASKQID_INVALID);

usr/src/uts/common/fs/smbsrv/smb_kutil.c

839

VERIFY(sl->sl_count == 0);

usr/src/uts/common/fs/smbsrv/smb_mbuf_util.c

219

VERIFY(len > 0);

usr/src/uts/common/fs/smbsrv/smb_mbuf_util.c

334

VERIFY(rc == 0);

usr/src/uts/common/fs/smbsrv/smb_mbuf_util.c

559

VERIFY(len >= 0);

usr/src/uts/common/fs/smbsrv/smb_mbuf_util.c

599

VERIFY(mn != NULL);

usr/src/uts/common/fs/smbsrv/smb_node.c

1279

VERIFY(!list_link_active(&node->n_lnd));

usr/src/uts/common/fs/smbsrv/smb_node.c

1280

VERIFY(node->n_lock_list.ll_count == 0);

usr/src/uts/common/fs/smbsrv/smb_node.c

1281

VERIFY(node->n_wlock_list.ll_count == 0);

usr/src/uts/common/fs/smbsrv/smb_node.c

1282

VERIFY(node->n_ofile_list.ll_count == 0);

usr/src/uts/common/fs/smbsrv/smb_node.c

1283

VERIFY(node->n_oplock.ol_fem == B_FALSE);

usr/src/uts/common/fs/smbsrv/smb_node.c

1284

VERIFY(MUTEX_NOT_HELD(&node->n_mutex));

usr/src/uts/common/fs/smbsrv/smb_node.c

1285

VERIFY(!RW_LOCK_HELD(&node->n_lock));

usr/src/uts/common/fs/smbsrv/smb_notify.c

575

VERIFY(tqid != TASKQID_INVALID);

usr/src/uts/common/fs/smbsrv/smb_notify.c

663

VERIFY(action < smb_notify_action_nelm);

usr/src/uts/common/fs/smbsrv/smb_ofile.c

1516

VERIFY(node->n_oplock.excl_open != of);

usr/src/uts/common/fs/smbsrv/smb_ofile.c

1575

VERIFY(of->f_persistid == 0);

usr/src/uts/common/fs/smbsrv/smb_pathname.c

1200

VERIFY(sname != NULL);

usr/src/uts/common/fs/smbsrv/smb_session.c

434

VERIFY(cancel_method != NULL);

usr/src/uts/common/fs/smbsrv/smb_srv_oplock.c

259

VERIFY(tqid != TASKQID_INVALID);

usr/src/uts/common/fs/smbsrv/smb_srv_oplock.c

384

VERIFY(tqid != TASKQID_INVALID);

usr/src/uts/common/fs/smbsrv/smb_user.c

539

VERIFY(tqid != TASKQID_INVALID);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2210

VERIFY(cur->so_vnode == orig->so_vnode);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2211

VERIFY(cur->so_ops == orig->so_ops);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2220

VERIFY((cur->so_state & (orig->so_state & CHECK_STATE)) ==

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2222

VERIFY(cur->so_mode == orig->so_mode);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2223

VERIFY(cur->so_flag == orig->so_flag);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2224

VERIFY(cur->so_count == orig->so_count);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2226

VERIFY(cur->so_sockparams == orig->so_sockparams);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2228

VERIFY(cur->so_error != 0 || orig->so_error == 0);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2229

VERIFY(cur->so_family == orig->so_family);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2230

VERIFY(cur->so_type == orig->so_type);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2231

VERIFY(cur->so_protocol == orig->so_protocol);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2232

VERIFY(cur->so_version == orig->so_version);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2234

VERIFY(cur->so_acceptq_len >= orig->so_acceptq_len);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2235

VERIFY(list_head(&cur->so_acceptq_list) ==

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2237

VERIFY(cur->so_backlog == orig->so_backlog);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2239

VERIFY(cur->so_oobmark >= orig->so_oobmark);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2241

VERIFY(cur->so_pgrp == orig->so_pgrp);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2242

VERIFY(cur->so_peercred == orig->so_peercred);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2243

VERIFY(cur->so_cpid == orig->so_cpid);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2244

VERIFY(cur->so_zoneid == orig->so_zoneid);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2246

VERIFY(cur->so_rcv_queued >= orig->so_rcv_queued);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2247

VERIFY(cur->so_rcv_q_head == orig->so_rcv_q_head);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2248

VERIFY(cur->so_rcv_head == orig->so_rcv_head);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2249

VERIFY(cur->so_proto_handle == orig->so_proto_handle);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2250

VERIFY(cur->so_downcalls == orig->so_downcalls);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2487

VERIFY(ret == 0);

usr/src/uts/common/fs/sockfs/sockcommon_subr.c

2509

VERIFY(so->so_krecv_cb != NULL);

usr/src/uts/common/fs/sockfs/socksyscalls.c

526

VERIFY(f_getfd_error(svs[0], &orig_flags) == 0);

usr/src/uts/common/fs/vnode.c

2393

VERIFY(vp->v_path != NULL);

usr/src/uts/common/fs/vnode.c

2500

VERIFY(vp->v_path != NULL);

usr/src/uts/common/fs/vnode.c

847

VERIFY(vp->v_count > 0);

usr/src/uts/common/fs/vnode.c

862

VERIFY((vp->v_count > 0) && (vp->v_count_dnlc > 0));

usr/src/uts/common/fs/vnode.c

891

VERIFY(vp->v_count > 0);

usr/src/uts/common/fs/vnode.c

918

VERIFY(taskq_dispatch(taskq, (task_func_t *)vn_rele_inactive,

usr/src/uts/common/fs/vnode.c

922

VERIFY(vp->v_count > 0);

usr/src/uts/common/fs/xattr.c

1576

VERIFY(gfs_make_opsvec(xattr_opsvec) == 0);

usr/src/uts/common/fs/xattr.c

293

VERIFY(nvlist_add_uint64(nvlp, attr_to_name(attr),

usr/src/uts/common/fs/xattr.c

323

VERIFY(nvlist_add_boolean_value(nvlp,

usr/src/uts/common/fs/xattr.c

328

VERIFY(nvlist_add_boolean_value(nvlp,

usr/src/uts/common/fs/xattr.c

333

VERIFY(nvlist_add_boolean_value(nvlp,

usr/src/uts/common/fs/xattr.c

338

VERIFY(nvlist_add_boolean_value(nvlp,

usr/src/uts/common/fs/xattr.c

343

VERIFY(nvlist_add_boolean_value(nvlp,

usr/src/uts/common/fs/xattr.c

348

VERIFY(nvlist_add_boolean_value(nvlp,

usr/src/uts/common/fs/xattr.c

353

VERIFY(nvlist_add_boolean_value(nvlp,

usr/src/uts/common/fs/xattr.c

358

VERIFY(nvlist_add_boolean_value(nvlp,

usr/src/uts/common/fs/xattr.c

363

VERIFY(nvlist_add_boolean_value(nvlp,

usr/src/uts/common/fs/xattr.c

368

VERIFY(nvlist_add_boolean_value(nvlp,

usr/src/uts/common/fs/xattr.c

373

VERIFY(nvlist_add_boolean_value(nvlp,

usr/src/uts/common/fs/xattr.c

378

VERIFY(nvlist_add_uint8_array(nvlp,

usr/src/uts/common/fs/xattr.c

384

VERIFY(nvlist_add_uint64_array(nvlp,

usr/src/uts/common/fs/xattr.c

391

VERIFY(nvlist_add_boolean_value(nvlp,

usr/src/uts/common/fs/xattr.c

396

VERIFY(nvlist_add_uint64(nvlp,

usr/src/uts/common/fs/xattr.c

401

VERIFY(nvlist_add_boolean_value(nvlp,

usr/src/uts/common/fs/xattr.c

406

VERIFY(nvlist_add_boolean_value(nvlp,

usr/src/uts/common/fs/xattr.c

423

VERIFY(nvlist_add_string(nvl_sid,

usr/src/uts/common/fs/xattr.c

425

VERIFY(nvlist_add_uint32(nvl_sid, SID_RID, rid) == 0);

usr/src/uts/common/fs/xattr.c

426

VERIFY(nvlist_add_nvlist(nvlp, attr_to_name(F_OWNERSID),

usr/src/uts/common/fs/xattr.c

439

VERIFY(nvlist_add_string(nvl_sid,

usr/src/uts/common/fs/xattr.c

441

VERIFY(nvlist_add_uint32(nvl_sid, SID_RID, rid) == 0);

usr/src/uts/common/fs/xattr.c

442

VERIFY(nvlist_add_nvlist(nvlp, attr_to_name(F_GROUPSID),

usr/src/uts/common/fs/xattr.c

472

VERIFY(nvlist_size(nvl, size, NV_ENCODE_XDR) == 0);

usr/src/uts/common/fs/xattr.c

546

VERIFY(nvlist_size(nvl, &filesize, NV_ENCODE_XDR) == 0);

usr/src/uts/common/fs/xattr.c

554

VERIFY(nvlist_pack(nvl, &buf, &filesize, NV_ENCODE_XDR,

usr/src/uts/common/fs/zfs/arc.c

2546

VERIFY(hdr->b_type == ARC_BUFC_DATA ||

usr/src/uts/common/fs/zfs/arc.c

2990

VERIFY(!arc_buf_is_shared(lastbuf));

usr/src/uts/common/fs/zfs/arc.c

2992

VERIFY(!ARC_BUF_COMPRESSED(lastbuf));

usr/src/uts/common/fs/zfs/arc.c

3109

VERIFY(type == ARC_BUFC_DATA || type == ARC_BUFC_METADATA);

usr/src/uts/common/fs/zfs/arc.c

3212

VERIFY(!HDR_L2_WRITING(hdr));

usr/src/uts/common/fs/zfs/arc.c

6278

VERIFY(!arc_buf_is_shared(lastbuf));

usr/src/uts/common/fs/zfs/arc.c

9179

VERIFY(!dev->l2ad_rebuild_cancel);

usr/src/uts/common/fs/zfs/arc.c

9180

VERIFY(dev->l2ad_rebuild);

usr/src/uts/common/fs/zfs/arc.c

9777

VERIFY(spa_config_held(dev->l2ad_spa, SCL_STATE_ALL, RW_READER));

usr/src/uts/common/fs/zfs/bpobj.c

49

VERIFY(zap_add(os,

usr/src/uts/common/fs/zfs/ddt.c

1054

VERIFY(ddt_object_remove(ddt, otype, oclass, dde, tx) == 0);

usr/src/uts/common/fs/zfs/ddt.c

1064

VERIFY(ddt_object_update(ddt, ntype, nclass, dde, tx) == 0);

usr/src/uts/common/fs/zfs/ddt.c

126

VERIFY(ddt_object_info(ddt, type, class, &doi) == 0);

usr/src/uts/common/fs/zfs/ddt.c

145

VERIFY(zap_update(ddt->ddt_os, ddt->ddt_spa->spa_ddt_stat_object, name,

usr/src/uts/common/fs/zfs/ddt.c

152

VERIFY(ddt_object_info(ddt, type, class, &doi) == 0);

usr/src/uts/common/fs/zfs/ddt.c

70

VERIFY(ddt_ops[type]->ddt_op_create(os, objectp, tx, prehash) == 0);

usr/src/uts/common/fs/zfs/ddt.c

73

VERIFY(zap_add(os, DMU_POOL_DIRECTORY_OBJECT, name,

usr/src/uts/common/fs/zfs/ddt.c

76

VERIFY(zap_add(os, spa->spa_ddt_stat_object, name,

usr/src/uts/common/fs/zfs/ddt.c

95

VERIFY(zap_remove(os, DMU_POOL_DIRECTORY_OBJECT, name, tx) == 0);

usr/src/uts/common/fs/zfs/ddt.c

96

VERIFY(zap_remove(os, spa->spa_ddt_stat_object, name, tx) == 0);

usr/src/uts/common/fs/zfs/ddt.c

97

VERIFY(ddt_ops[type]->ddt_op_destroy(os, *objectp, tx) == 0);

usr/src/uts/common/fs/zfs/ddt_zap.c

154

VERIFY(zap_count(os, object, &count) == 0);

usr/src/uts/common/fs/zfs/dmu.c

1260

VERIFY(0 == dmu_buf_hold_array(os, object, offset, size,

usr/src/uts/common/fs/zfs/dmu.c

1877

VERIFY(BP_EQUAL(bp, db->db_blkptr));

usr/src/uts/common/fs/zfs/dmu.c

375

VERIFY(dnode_add_ref(dn, db));

usr/src/uts/common/fs/zfs/dmu.c

430

VERIFY(dnode_add_ref(dn, db));

usr/src/uts/common/fs/zfs/dmu_objset.c

857

VERIFY(dsl_dataset_long_held(ds));

usr/src/uts/common/fs/zfs/dmu_recv.c

1754

VERIFY(0 == dbuf_spill_set_blksz(db_spill,

usr/src/uts/common/fs/zfs/dmu_send.c

1207

VERIFY(err != 0 || (dsp->dsa_sent_begin && dsp->dsa_sent_end));

usr/src/uts/common/fs/zfs/dmu_traverse.c

603

VERIFY(spa_feature_enabled_txg(spa,

usr/src/uts/common/fs/zfs/dnode.c

1583

VERIFY(1 < zfs_refcount_add(&dn->dn_holds, tag));

usr/src/uts/common/fs/zfs/dnode.c

1704

VERIFY(dnode_add_ref(dn, (void *)(uintptr_t)tx->tx_txg));

usr/src/uts/common/fs/zfs/dnode_sync.c

303

VERIFY(BP_GET_FILL(db->db_blkptr) == 0 || db->db_dirtycnt > 0);

usr/src/uts/common/fs/zfs/dsl_crypt.c

1431

VERIFY(ret == 0 || ret == ENOENT);

usr/src/uts/common/fs/zfs/dsl_dataset.c

1023

VERIFY(spa_feature_table[f].fi_flags & ZFEATURE_FLAG_PER_DATASET);

usr/src/uts/common/fs/zfs/dsl_dataset.c

974

VERIFY(spa_feature_table[f].fi_type & ZFEATURE_TYPE_UINT64_ARRAY);

usr/src/uts/common/fs/zfs/dsl_dataset.c

992

VERIFY(spa_feature_table[f].fi_flags & ZFEATURE_FLAG_PER_DATASET);

usr/src/uts/common/fs/zfs/dsl_deleg.c

104

VERIFY(nvpair_value_nvlist(whopair, &perms) == 0);

usr/src/uts/common/fs/zfs/dsl_deleg.c

191

VERIFY(zap_update(mos, jumpobj,

usr/src/uts/common/fs/zfs/dsl_deleg.c

227

VERIFY(0 == zap_destroy(mos, jumpobj, tx));

usr/src/uts/common/fs/zfs/dsl_deleg.c

245

VERIFY(0 == zap_destroy(mos,

usr/src/uts/common/fs/zfs/dsl_deleg.c

326

VERIFY(nvlist_alloc(nvp, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/dsl_deleg.c

697

VERIFY(zap_add(mos, zapobj, whokey, 8, 1, &jumpobj, tx) == 0);

usr/src/uts/common/fs/zfs/dsl_deleg.c

706

VERIFY(zap_update(mos, jumpobj, za.za_name,

usr/src/uts/common/fs/zfs/dsl_deleg.c

749

VERIFY(0 == zap_destroy(mos, za.za_first_integer, tx));

usr/src/uts/common/fs/zfs/dsl_deleg.c

752

VERIFY(0 == zap_destroy(mos, zapobj, tx));

usr/src/uts/common/fs/zfs/dsl_pool.c

488

VERIFY(zap_add(dp->dp_meta_objset, DMU_POOL_DIRECTORY_OBJECT,

usr/src/uts/common/fs/zfs/dsl_pool.c

589

VERIFY(range_tree_is_empty(ms->ms_freeing));

usr/src/uts/common/fs/zfs/dsl_pool.c

590

VERIFY(range_tree_is_empty(ms->ms_checkpointing));

usr/src/uts/common/fs/zfs/dsl_prop.c

1013

VERIFY(nvlist_alloc(&propval, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/dsl_prop.c

1026

VERIFY(nvlist_add_string(propval, ZPROP_VALUE,

usr/src/uts/common/fs/zfs/dsl_prop.c

1038

VERIFY(nvlist_add_string(propval, ZPROP_SOURCE, source) == 0);

usr/src/uts/common/fs/zfs/dsl_prop.c

1039

VERIFY(nvlist_add_nvlist(nv, propname, propval) == 0);

usr/src/uts/common/fs/zfs/dsl_prop.c

1061

VERIFY(nvlist_alloc(nvp, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/dsl_prop.c

1175

VERIFY(nvlist_add_uint64(propval, ZPROP_VALUE, value) == 0);

usr/src/uts/common/fs/zfs/dsl_prop.c

1179

VERIFY(nvlist_alloc(&propval, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/dsl_prop.c

1180

VERIFY(nvlist_add_uint64(propval, ZPROP_VALUE, value) == 0);

usr/src/uts/common/fs/zfs/dsl_prop.c

1184

VERIFY(nvlist_add_string(propval, ZPROP_SOURCE, "") == 0);

usr/src/uts/common/fs/zfs/dsl_prop.c

1186

VERIFY(nvlist_add_nvlist(nv, propname, propval) == 0);

usr/src/uts/common/fs/zfs/dsl_prop.c

1197

VERIFY(nvlist_add_string(propval, ZPROP_VALUE, value) == 0);

usr/src/uts/common/fs/zfs/dsl_prop.c

1201

VERIFY(nvlist_alloc(&propval, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/dsl_prop.c

1202

VERIFY(nvlist_add_string(propval, ZPROP_VALUE, value) == 0);

usr/src/uts/common/fs/zfs/dsl_prop.c

1203

VERIFY(nvlist_add_nvlist(nv, propname, propval) == 0);

usr/src/uts/common/fs/zfs/dsl_scan.c

1069

VERIFY(0 == dmu_tx_assign(tx, TXG_WAIT));

usr/src/uts/common/fs/zfs/dsl_scan.c

1149

VERIFY(sds != NULL);

usr/src/uts/common/fs/zfs/dsl_scan.c

1369

VERIFY(0 == scan_funcs[scn->scn_phys.scn_func](dp, bp, &zb));

usr/src/uts/common/fs/zfs/dsl_scan.c

1402

VERIFY(0 == scan_funcs[scn->scn_phys.scn_func](dp, bp, &zb));

usr/src/uts/common/fs/zfs/dsl_scan.c

2064

VERIFY(zap_add_int_key(dp->dp_meta_objset,

usr/src/uts/common/fs/zfs/dsl_scan.c

2130

VERIFY(zap_add_int_key(dp->dp_meta_objset,

usr/src/uts/common/fs/zfs/dsl_scan.c

2197

VERIFY(err == 0 || err == EEXIST);

usr/src/uts/common/fs/zfs/dsl_scan.c

2200

VERIFY(0 == zap_add_int_key(dp->dp_meta_objset,

usr/src/uts/common/fs/zfs/dsl_scan.c

2215

VERIFY(0 == zap_add_int_key(dp->dp_meta_objset,

usr/src/uts/common/fs/zfs/dsl_scan.c

3040

VERIFY(taskq_dispatch(scn->scn_taskq,

usr/src/uts/common/fs/zfs/dsl_synctask.c

190

VERIFY(txg_list_add_tail(task_list, dst, dst->dst_txg));

usr/src/uts/common/fs/zfs/dsl_synctask.c

84

VERIFY(txg_list_add_tail(task_list, &dst, dst.dst_txg));

usr/src/uts/common/fs/zfs/dsl_userhold.c

337

VERIFY(0 == nvlist_alloc(&dduha.dduha_chkholds, 0, KM_SLEEP));

usr/src/uts/common/fs/zfs/dsl_userhold.c

508

VERIFY(error == 0 || error == ENOENT);

usr/src/uts/common/fs/zfs/metaslab.c

2056

VERIFY(space_map_histogram_verify(msp->ms_sm,

usr/src/uts/common/fs/zfs/metaslab.c

2412

VERIFY(!msp->ms_loading);

usr/src/uts/common/fs/zfs/metaslab.c

2685

VERIFY(msp->ms_group == NULL);

usr/src/uts/common/fs/zfs/metaslab.c

3416

VERIFY(taskq_dispatch(mg->mg_taskq, metaslab_preload,

usr/src/uts/common/fs/zfs/metaslab.c

4508

VERIFY(zfs_refcount_not_held(

usr/src/uts/common/fs/zfs/metaslab.c

4522

VERIFY(!msp->ms_condensing);

usr/src/uts/common/fs/zfs/metaslab.c

4637

VERIFY(msp->ms_primary);

usr/src/uts/common/fs/zfs/metaslab.c

4645

VERIFY(!msp->ms_primary);

usr/src/uts/common/fs/zfs/metaslab.c

5222

VERIFY(!msp->ms_condensing);

usr/src/uts/common/fs/zfs/metaslab.c

5467

VERIFY(!msp->ms_condensing);

usr/src/uts/common/fs/zfs/metaslab.c

5582

VERIFY(!msp->ms_condensing);

usr/src/uts/common/fs/zfs/range_tree.c

565

VERIFY(size != 0);

usr/src/uts/common/fs/zfs/range_tree.c

93

VERIFY(0);

usr/src/uts/common/fs/zfs/rrwlock.c

110

VERIFY(tsd_set(rrw_tsd_key, rn) == 0);

usr/src/uts/common/fs/zfs/rrwlock.c

131

VERIFY(tsd_set(rrw_tsd_key, rn->rn_next) == 0);

usr/src/uts/common/fs/zfs/sa.c

1069

VERIFY(ddi_strtoull(za.za_name, NULL, 10,

usr/src/uts/common/fs/zfs/sa.c

1287

VERIFY(BSWAP_32(sa_hdr_phys->sa_magic) == SA_MAGIC);

usr/src/uts/common/fs/zfs/sa.c

1651

VERIFY(dmu_set_bonustype(db, DMU_OT_SA, tx) == 0);

usr/src/uts/common/fs/zfs/sa.c

1652

VERIFY(sa_replace_all_by_template_locked(hdl, attrs, count, tx) == 0);

usr/src/uts/common/fs/zfs/sa.c

1654

VERIFY(0 == dmu_object_free(zfsvfs->z_os,

usr/src/uts/common/fs/zfs/sa.c

1774

VERIFY(0 == zap_update(hdl->sa_os, sa->sa_reg_attr_obj,

usr/src/uts/common/fs/zfs/sa.c

307

VERIFY(0 == sa_build_index(hdl, SA_SPILL));

usr/src/uts/common/fs/zfs/sa.c

436

VERIFY(0 == zap_update(os, os->os_sa->sa_layout_attr_obj,

usr/src/uts/common/fs/zfs/sa.c

680

VERIFY(0 == dmu_set_bonus(hdl->sa_bonus, spilling ?

usr/src/uts/common/fs/zfs/sa.c

692

VERIFY(dmu_spill_hold_by_bonus(hdl->sa_bonus, 0, NULL,

usr/src/uts/common/fs/zfs/sa.c

707

VERIFY(0 == sa_resize_spill(hdl,

usr/src/uts/common/fs/zfs/sa.c

737

VERIFY(spilling);

usr/src/uts/common/fs/zfs/sa.c

738

VERIFY(bonustype == DMU_OT_SA);

usr/src/uts/common/fs/zfs/sa.c

777

VERIFY((bonustype == DMU_OT_ZNODE && lot->lot_num == 0) ||

usr/src/uts/common/fs/zfs/sa.c

791

VERIFY(0 == sa_build_index(hdl, SA_BONUS));

usr/src/uts/common/fs/zfs/sa.c

801

VERIFY(0 == dmu_rm_spill(hdl->sa_os,

usr/src/uts/common/fs/zfs/sa.c

804

VERIFY(0 == sa_build_index(hdl, SA_SPILL));

usr/src/uts/common/fs/zfs/spa.c

1627

VERIFY(nvlist_lookup_nvlist_array(spa->spa_spares.sav_config,

usr/src/uts/common/fs/zfs/spa.c

1648

VERIFY(spa_config_parse(spa, &vd, spares[i], NULL, 0,

usr/src/uts/common/fs/zfs/spa.c

1690

VERIFY(nvlist_remove(spa->spa_spares.sav_config, ZPOOL_CONFIG_SPARES,

usr/src/uts/common/fs/zfs/spa.c

1698

VERIFY(nvlist_add_nvlist_array(spa->spa_spares.sav_config,

usr/src/uts/common/fs/zfs/spa.c

1741

VERIFY(nvlist_lookup_nvlist_array(sav->sav_config,

usr/src/uts/common/fs/zfs/spa.c

1758

VERIFY(nvlist_lookup_uint64(l2cache[i], ZPOOL_CONFIG_GUID,

usr/src/uts/common/fs/zfs/spa.c

1778

VERIFY(spa_config_parse(spa, &vd, l2cache[i], NULL, 0,

usr/src/uts/common/fs/zfs/spa.c

1835

VERIFY(nvlist_remove(sav->sav_config, ZPOOL_CONFIG_L2CACHE,

usr/src/uts/common/fs/zfs/spa.c

1846

VERIFY(nvlist_add_nvlist_array(sav->sav_config,

usr/src/uts/common/fs/zfs/spa.c

1935

VERIFY(nvlist_alloc(&nv, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/spa.c

2227

VERIFY(nvlist_add_uint64(spa->spa_load_info,

usr/src/uts/common/fs/zfs/spa.c

2229

VERIFY(nvlist_add_int64(spa->spa_load_info,

usr/src/uts/common/fs/zfs/spa.c

2231

VERIFY(nvlist_add_uint64(spa->spa_load_info,

usr/src/uts/common/fs/zfs/spa.c

262

VERIFY(nvlist_alloc(&propval, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/spa.c

263

VERIFY(nvlist_add_uint64(propval, ZPROP_SOURCE, src) == 0);

usr/src/uts/common/fs/zfs/spa.c

266

VERIFY(nvlist_add_string(propval, ZPROP_VALUE, strval) == 0);

usr/src/uts/common/fs/zfs/spa.c

268

VERIFY(nvlist_add_uint64(propval, ZPROP_VALUE, intval) == 0);

usr/src/uts/common/fs/zfs/spa.c

270

VERIFY(nvlist_add_nvlist(nvl, propname, propval) == 0);

usr/src/uts/common/fs/zfs/spa.c

3080

VERIFY(nvlist_dup(features, &spa->spa_label_features, 0) == 0);

usr/src/uts/common/fs/zfs/spa.c

3093

VERIFY(nvlist_alloc(&unsup_feat, NV_UNIQUE_NAME, KM_SLEEP) ==

usr/src/uts/common/fs/zfs/spa.c

3100

VERIFY(nvlist_add_string(unsup_feat,

usr/src/uts/common/fs/zfs/spa.c

3106

VERIFY(nvlist_add_nvlist(spa->spa_load_info,

usr/src/uts/common/fs/zfs/spa.c

3198

VERIFY(spa_config_parse(spa, &mrvd, nv, NULL, 0, VDEV_ALLOC_LOAD) == 0);

usr/src/uts/common/fs/zfs/spa.c

3572

VERIFY(!nvlist_exists(mos_config,

usr/src/uts/common/fs/zfs/spa.c

403

VERIFY(nvlist_alloc(nvp, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/spa.c

4593

VERIFY(nvlist_dup(spa->spa_config, config,

usr/src/uts/common/fs/zfs/spa.c

4595

VERIFY(nvlist_add_nvlist(*config,

usr/src/uts/common/fs/zfs/spa.c

4619

VERIFY(nvlist_add_nvlist(*config, ZPOOL_CONFIG_LOAD_INFO,

usr/src/uts/common/fs/zfs/spa.c

4695

VERIFY(nvlist_lookup_nvlist(config,

usr/src/uts/common/fs/zfs/spa.c

4697

VERIFY(nvlist_lookup_nvlist_array(spa->spa_spares.sav_config,

usr/src/uts/common/fs/zfs/spa.c

4700

VERIFY(nvlist_add_nvlist_array(nvroot,

usr/src/uts/common/fs/zfs/spa.c

4702

VERIFY(nvlist_lookup_nvlist_array(nvroot,

usr/src/uts/common/fs/zfs/spa.c

4711

VERIFY(nvlist_lookup_uint64(spares[i],

usr/src/uts/common/fs/zfs/spa.c

4715

VERIFY(nvlist_lookup_uint64_array(

usr/src/uts/common/fs/zfs/spa.c

4744

VERIFY(nvlist_lookup_nvlist(config,

usr/src/uts/common/fs/zfs/spa.c

4746

VERIFY(nvlist_lookup_nvlist_array(spa->spa_l2cache.sav_config,

usr/src/uts/common/fs/zfs/spa.c

4749

VERIFY(nvlist_add_nvlist_array(nvroot,

usr/src/uts/common/fs/zfs/spa.c

4751

VERIFY(nvlist_lookup_nvlist_array(nvroot,

usr/src/uts/common/fs/zfs/spa.c

4759

VERIFY(nvlist_lookup_uint64(l2cache[i],

usr/src/uts/common/fs/zfs/spa.c

4772

VERIFY(nvlist_lookup_uint64_array(l2cache[i],

usr/src/uts/common/fs/zfs/spa.c

4790

VERIFY(nvlist_alloc(&features, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/spa.c

4818

VERIFY(nvlist_add_nvlist(config, ZPOOL_CONFIG_FEATURE_STATS,

usr/src/uts/common/fs/zfs/spa.c

4846

VERIFY(nvlist_add_uint64_array(*config,

usr/src/uts/common/fs/zfs/spa.c

4849

VERIFY(nvlist_add_uint64(*config,

usr/src/uts/common/fs/zfs/spa.c

4854

VERIFY(nvlist_add_uint64(*config,

usr/src/uts/common/fs/zfs/spa.c

4857

VERIFY(nvlist_add_uint64(*config,

usr/src/uts/common/fs/zfs/spa.c

4951

VERIFY(nvlist_add_uint64(dev[i], ZPOOL_CONFIG_GUID,

usr/src/uts/common/fs/zfs/spa.c

5003

VERIFY(nvlist_lookup_nvlist_array(sav->sav_config, config,

usr/src/uts/common/fs/zfs/spa.c

5009

VERIFY(nvlist_dup(olddevs[i], &newdevs[i],

usr/src/uts/common/fs/zfs/spa.c

5012

VERIFY(nvlist_dup(devs[i], &newdevs[i + oldndevs],

usr/src/uts/common/fs/zfs/spa.c

5015

VERIFY(nvlist_remove(sav->sav_config, config,

usr/src/uts/common/fs/zfs/spa.c

5018

VERIFY(nvlist_add_nvlist_array(sav->sav_config,

usr/src/uts/common/fs/zfs/spa.c

5027

VERIFY(nvlist_alloc(&sav->sav_config, NV_UNIQUE_NAME,

usr/src/uts/common/fs/zfs/spa.c

5029

VERIFY(nvlist_add_nvlist_array(sav->sav_config, config,

usr/src/uts/common/fs/zfs/spa.c

5229

VERIFY(nvlist_alloc(&spa->spa_spares.sav_config, NV_UNIQUE_NAME,

usr/src/uts/common/fs/zfs/spa.c

5231

VERIFY(nvlist_add_nvlist_array(spa->spa_spares.sav_config,

usr/src/uts/common/fs/zfs/spa.c

5244

VERIFY(nvlist_alloc(&spa->spa_l2cache.sav_config,

usr/src/uts/common/fs/zfs/spa.c

5246

VERIFY(nvlist_add_nvlist_array(spa->spa_l2cache.sav_config,

usr/src/uts/common/fs/zfs/spa.c

5390

VERIFY(nvlist_lookup_nvlist(config, ZPOOL_CONFIG_VDEV_TREE,

usr/src/uts/common/fs/zfs/spa.c

5392

VERIFY(nvlist_lookup_uint64(config, ZPOOL_CONFIG_POOL_GUID,

usr/src/uts/common/fs/zfs/spa.c

5394

VERIFY(nvlist_lookup_uint64(config, ZPOOL_CONFIG_GUID, guid) == 0);

usr/src/uts/common/fs/zfs/spa.c

5412

VERIFY(nvlist_alloc(&nvroot, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/spa.c

5413

VERIFY(nvlist_add_string(nvroot, ZPOOL_CONFIG_TYPE,

usr/src/uts/common/fs/zfs/spa.c

5415

VERIFY(nvlist_add_uint64(nvroot, ZPOOL_CONFIG_ID, 0ULL) == 0);

usr/src/uts/common/fs/zfs/spa.c

5416

VERIFY(nvlist_add_uint64(nvroot, ZPOOL_CONFIG_GUID, pgid) == 0);

usr/src/uts/common/fs/zfs/spa.c

5417

VERIFY(nvlist_add_nvlist_array(nvroot, ZPOOL_CONFIG_CHILDREN,

usr/src/uts/common/fs/zfs/spa.c

5424

VERIFY(nvlist_add_nvlist(config, ZPOOL_CONFIG_VDEV_TREE, nvroot) == 0);

usr/src/uts/common/fs/zfs/spa.c

5448

VERIFY(nvlist_lookup_uint64(label, ZPOOL_CONFIG_POOL_TXG,

usr/src/uts/common/fs/zfs/spa.c

5543

VERIFY(nvlist_lookup_string(config, ZPOOL_CONFIG_POOL_NAME,

usr/src/uts/common/fs/zfs/spa.c

5545

VERIFY(nvlist_lookup_uint64(config, ZPOOL_CONFIG_POOL_TXG, &txg) == 0);

usr/src/uts/common/fs/zfs/spa.c

5566

VERIFY(nvlist_lookup_nvlist(config, ZPOOL_CONFIG_VDEV_TREE,

usr/src/uts/common/fs/zfs/spa.c

5714

VERIFY(nvlist_add_nvlist(config, ZPOOL_CONFIG_LOAD_INFO,

usr/src/uts/common/fs/zfs/spa.c

5733

VERIFY(nvlist_lookup_nvlist(config, ZPOOL_CONFIG_VDEV_TREE,

usr/src/uts/common/fs/zfs/spa.c

5764

VERIFY(nvlist_remove(spa->spa_spares.sav_config,

usr/src/uts/common/fs/zfs/spa.c

5767

VERIFY(nvlist_alloc(&spa->spa_spares.sav_config,

usr/src/uts/common/fs/zfs/spa.c

5769

VERIFY(nvlist_add_nvlist_array(spa->spa_spares.sav_config,

usr/src/uts/common/fs/zfs/spa.c

5779

VERIFY(nvlist_remove(spa->spa_l2cache.sav_config,

usr/src/uts/common/fs/zfs/spa.c

5782

VERIFY(nvlist_alloc(&spa->spa_l2cache.sav_config,

usr/src/uts/common/fs/zfs/spa.c

5784

VERIFY(nvlist_add_nvlist_array(spa->spa_l2cache.sav_config,

usr/src/uts/common/fs/zfs/spa.c

5873

VERIFY(nvlist_add_string(config, ZPOOL_CONFIG_POOL_NAME,

usr/src/uts/common/fs/zfs/spa.c

5875

VERIFY(nvlist_add_uint64(config, ZPOOL_CONFIG_POOL_STATE,

usr/src/uts/common/fs/zfs/spa.c

5877

VERIFY(nvlist_add_uint64(config, ZPOOL_CONFIG_TIMESTAMP,

usr/src/uts/common/fs/zfs/spa.c

5879

VERIFY(nvlist_add_nvlist(config, ZPOOL_CONFIG_LOAD_INFO,

usr/src/uts/common/fs/zfs/spa.c

5907

VERIFY(nvlist_add_string(config,

usr/src/uts/common/fs/zfs/spa.c

6044

VERIFY(nvlist_dup(spa->spa_config, oldconfig, 0) == 0);

usr/src/uts/common/fs/zfs/spa.c

7065

VERIFY(nvlist_add_uint64(child[c], ZPOOL_CONFIG_METASLAB_ARRAY,

usr/src/uts/common/fs/zfs/spa.c

7067

VERIFY(nvlist_add_uint64(child[c], ZPOOL_CONFIG_METASLAB_SHIFT,

usr/src/uts/common/fs/zfs/spa.c

7069

VERIFY(nvlist_add_uint64(child[c], ZPOOL_CONFIG_ASIZE,

usr/src/uts/common/fs/zfs/spa.c

7071

VERIFY(nvlist_add_uint64(child[c], ZPOOL_CONFIG_ASHIFT,

usr/src/uts/common/fs/zfs/spa.c

7102

VERIFY(nvlist_alloc(&nvl, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/spa.c

7103

VERIFY(nvlist_add_uint64_array(nvl, ZPOOL_CONFIG_SPLIT_LIST,

usr/src/uts/common/fs/zfs/spa.c

7108

VERIFY(nvlist_add_nvlist(spa->spa_config, ZPOOL_CONFIG_SPLIT,

usr/src/uts/common/fs/zfs/spa.c

7115

VERIFY(nvlist_add_string(config, ZPOOL_CONFIG_POOL_NAME, newname) == 0);

usr/src/uts/common/fs/zfs/spa.c

7116

VERIFY(nvlist_add_uint64(config, ZPOOL_CONFIG_POOL_STATE,

usr/src/uts/common/fs/zfs/spa.c

7118

VERIFY(nvlist_add_uint64(config, ZPOOL_CONFIG_VERSION,

usr/src/uts/common/fs/zfs/spa.c

7120

VERIFY(nvlist_add_uint64(config, ZPOOL_CONFIG_POOL_TXG,

usr/src/uts/common/fs/zfs/spa.c

7122

VERIFY(nvlist_add_uint64(config, ZPOOL_CONFIG_POOL_GUID,

usr/src/uts/common/fs/zfs/spa.c

7184

VERIFY(nvlist_alloc(&newspa->spa_config_splitting,

usr/src/uts/common/fs/zfs/spa.c

7186

VERIFY(nvlist_add_uint64(newspa->spa_config_splitting,

usr/src/uts/common/fs/zfs/spa.c

775

VERIFY(nvpair_value_uint64(elem, &ver) == 0);

usr/src/uts/common/fs/zfs/spa.c

7818

VERIFY(zio_wait(zio) == 0);

usr/src/uts/common/fs/zfs/spa.c

7858

VERIFY(nvlist_size(nv, &nvsize, NV_ENCODE_XDR) == 0);

usr/src/uts/common/fs/zfs/spa.c

7868

VERIFY(nvlist_pack(nv, &packed, &nvsize, NV_ENCODE_XDR,

usr/src/uts/common/fs/zfs/spa.c

7876

VERIFY(0 == dmu_bonus_hold(spa->spa_meta_objset, obj, FTAG, &db));

usr/src/uts/common/fs/zfs/spa.c

7902

VERIFY(zap_update(spa->spa_meta_objset,

usr/src/uts/common/fs/zfs/spa.c

7907

VERIFY(nvlist_alloc(&nvroot, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/spa.c

7909

VERIFY(nvlist_add_nvlist_array(nvroot, config, NULL, 0) == 0);

usr/src/uts/common/fs/zfs/spa.c

7915

VERIFY(nvlist_add_nvlist_array(nvroot, config, list,

usr/src/uts/common/fs/zfs/spa.c

819

VERIFY(zap_remove(spa->spa_meta_objset,

usr/src/uts/common/fs/zfs/spa.c

8568

VERIFY(spa_writeable(spa));

usr/src/uts/common/fs/zfs/spa.c

8620

VERIFY(cyclic_reprogram(spa->spa_deadman_cycid,

usr/src/uts/common/fs/zfs/spa.c

8675

VERIFY(cyclic_reprogram(spa->spa_deadman_cycid, CY_INFINITY));

usr/src/uts/common/fs/zfs/spa_checkpoint.c

441

VERIFY(spa_checkpoint_discard_is_done(spa));

usr/src/uts/common/fs/zfs/spa_errlog.c

379

VERIFY(dmu_object_free(spa->spa_meta_objset,

usr/src/uts/common/fs/zfs/spa_history.c

102

VERIFY(0 == dmu_bonus_hold(mos, spa->spa_history, FTAG, &dbp));

usr/src/uts/common/fs/zfs/spa_history.c

98

VERIFY(zap_add(mos, DMU_POOL_DIRECTORY_OBJECT,

usr/src/uts/common/fs/zfs/spa_misc.c

2620

VERIFY(ev != NULL);

usr/src/uts/common/fs/zfs/spa_misc.c

602

VERIFY(cyclic_reprogram(spa->spa_deadman_cycid, CY_INFINITY));

usr/src/uts/common/fs/zfs/spa_misc.c

730

VERIFY(nvlist_alloc(&spa->spa_load_info, NV_UNIQUE_NAME,

usr/src/uts/common/fs/zfs/spa_misc.c

738

VERIFY(nvlist_dup(features, &spa->spa_label_features,

usr/src/uts/common/fs/zfs/spa_misc.c

742

VERIFY(nvlist_dup(config, &spa->spa_config, 0) == 0);

usr/src/uts/common/fs/zfs/spa_misc.c

746

VERIFY(nvlist_alloc(&spa->spa_label_features, NV_UNIQUE_NAME,

usr/src/uts/common/fs/zfs/sys/range_tree.h

135

VERIFY(0);

usr/src/uts/common/fs/zfs/sys/range_tree.h

152

VERIFY(0);

usr/src/uts/common/fs/zfs/sys/range_tree.h

173

VERIFY(0);

usr/src/uts/common/fs/zfs/sys/range_tree.h

213

VERIFY(0);

usr/src/uts/common/fs/zfs/sys/range_tree.h

233

VERIFY(0);

usr/src/uts/common/fs/zfs/sys/range_tree.h

252

VERIFY(0);

usr/src/uts/common/fs/zfs/sys/zfs_znode.h

88

VERIFY(0 == sa_update(zp->z_sa_hdl, SA_ZPL_FLAGS(zp->z_zfsvfs), \

usr/src/uts/common/fs/zfs/vdev.c

1548

VERIFY(taskq_dispatch(tq, vdev_open_child,

usr/src/uts/common/fs/zfs/vdev.c

4166

VERIFY(nvlist_lookup_nvlist_array(sav->sav_config,

usr/src/uts/common/fs/zfs/vdev.c

4540

VERIFY(vdev_metaslab_init(vd, txg) == 0);

usr/src/uts/common/fs/zfs/vdev_indirect.c

331

VERIFY(vdev_indirect_mapping_entry_for_offset(

usr/src/uts/common/fs/zfs/vdev_initialize.c

76

VERIFY(vd->vdev_leaf_zap != 0);

usr/src/uts/common/fs/zfs/vdev_label.c

1059

VERIFY(nvlist_alloc(&label, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/vdev_label.c

1061

VERIFY(nvlist_add_uint64(label, ZPOOL_CONFIG_VERSION,

usr/src/uts/common/fs/zfs/vdev_label.c

1063

VERIFY(nvlist_add_uint64(label, ZPOOL_CONFIG_POOL_STATE,

usr/src/uts/common/fs/zfs/vdev_label.c

1065

VERIFY(nvlist_add_uint64(label, ZPOOL_CONFIG_GUID,

usr/src/uts/common/fs/zfs/vdev_label.c

1072

VERIFY(nvlist_alloc(&label, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/vdev_label.c

1074

VERIFY(nvlist_add_uint64(label, ZPOOL_CONFIG_VERSION,

usr/src/uts/common/fs/zfs/vdev_label.c

1076

VERIFY(nvlist_add_uint64(label, ZPOOL_CONFIG_POOL_STATE,

usr/src/uts/common/fs/zfs/vdev_label.c

1078

VERIFY(nvlist_add_uint64(label, ZPOOL_CONFIG_GUID,

usr/src/uts/common/fs/zfs/vdev_label.c

1092

VERIFY(nvlist_add_uint64(label, ZPOOL_CONFIG_CREATE_TXG,

usr/src/uts/common/fs/zfs/vdev_label.c

729

VERIFY(nvlist_add_uint64_array(config, ZPOOL_CONFIG_HOLE_ARRAY,

usr/src/uts/common/fs/zfs/vdev_label.c

733

VERIFY(nvlist_add_uint64(config, ZPOOL_CONFIG_VDEV_CHILDREN,

usr/src/uts/common/fs/zfs/vdev_raidz_math_sse2.c

130

VERIFY(0); \

usr/src/uts/common/fs/zfs/vdev_raidz_math_sse2.c

182

VERIFY(0); \

usr/src/uts/common/fs/zfs/vdev_raidz_math_sse2.c

517

VERIFY(0); \

usr/src/uts/common/fs/zfs/vdev_removal.c

173

VERIFY(nvlist_dup(dev[i], &newdev[j++], KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/vdev_removal.c

176

VERIFY(nvlist_remove(config, name, DATA_TYPE_NVLIST_ARRAY) == 0);

usr/src/uts/common/fs/zfs/vdev_removal.c

177

VERIFY(nvlist_add_nvlist_array(config, name, newdev, count - 1) == 0);

usr/src/uts/common/fs/zfs/vdev_trim.c

1111

VERIFY(range_tree_contains(msp->ms_allocatable, start, size));

usr/src/uts/common/fs/zfs/vdev_trim.c

755

VERIFY(range_tree_contains(msp->ms_allocatable, start, size));

usr/src/uts/common/fs/zfs/zap.c

990

VERIFY((new_obj = zap_create_dnsize(os, ot, DMU_OT_NONE, 0,

usr/src/uts/common/fs/zfs/zap_micro.c

786

VERIFY(dmu_object_set_blocksize(os, obj,

usr/src/uts/common/fs/zfs/zcp.c

1054

VERIFY(state != NULL);

usr/src/uts/common/fs/zfs/zfeature.c

208

VERIFY(nvlist_add_string(unsup_feat, za.za_name,

usr/src/uts/common/fs/zfs/zfs_acl.c

1605

VERIFY((data2sz = aclp->z_ops.ace_data(acep,

usr/src/uts/common/fs/zfs/zfs_acl.c

1750

VERIFY(0 == zfs_acl_node_read(dzp, B_TRUE,

usr/src/uts/common/fs/zfs/zfs_acl.c

366

VERIFY(zp->z_is_sa && error == ENOENT);

usr/src/uts/common/fs/zfs/zfs_acl.c

439

VERIFY(zp->z_is_sa && error == ENOENT);

usr/src/uts/common/fs/zfs/zfs_acl.c

850

VERIFY(zfs_copy_ace_2_fuid(zp->z_zfsvfs, ZTOV(zp)->v_type, aclp,

usr/src/uts/common/fs/zfs/zfs_ctldir.c

1206

VERIFY(gfs_dir_lookup(vp, "..", &dvp, cr, 0, NULL, NULL) == 0);

usr/src/uts/common/fs/zfs/zfs_ctldir.c

162

VERIFY(gfs_make_opsvec(zfsctl_opsvec) == 0);

usr/src/uts/common/fs/zfs/zfs_ctldir.c

235

VERIFY(VFS_ROOT(zfsvfs->z_vfs, &rvp) == 0);

usr/src/uts/common/fs/zfs/zfs_ctldir.c

236

VERIFY(0 == sa_lookup(VTOZ(rvp)->z_sa_hdl, SA_ZPL_CRTIME(zfsvfs),

usr/src/uts/common/fs/zfs/zfs_ctldir.c

580

VERIFY(avl_find(&sdp->sd_snaps, sep, &where) == NULL);

usr/src/uts/common/fs/zfs/zfs_ctldir.c

590

VERIFY((tail = strrchr(newpath, '/')) != NULL);

usr/src/uts/common/fs/zfs/zfs_ctldir.c

599

VERIFY((tail = strrchr(newpath, '@')) != NULL);

usr/src/uts/common/fs/zfs/zfs_dir.c

1060

VERIFY(0 == sa_update(zp->z_sa_hdl, SA_ZPL_XATTR(zfsvfs), &xzp->z_id,

usr/src/uts/common/fs/zfs/zfs_dir.c

739

VERIFY(0 == sa_update(xzp->z_sa_hdl, SA_ZPL_LINKS(zfsvfs),

usr/src/uts/common/fs/zfs/zfs_fm.c

852

VERIFY(nvlist_add_uint8(resource, FM_VERSION, FM_RSRC_VERSION) == 0);

usr/src/uts/common/fs/zfs/zfs_fm.c

853

VERIFY(nvlist_add_string(resource, FM_CLASS, class) == 0);

usr/src/uts/common/fs/zfs/zfs_fm.c

854

VERIFY(nvlist_add_uint64(resource,

usr/src/uts/common/fs/zfs/zfs_fm.c

857

VERIFY(nvlist_add_uint64(resource,

usr/src/uts/common/fs/zfs/zfs_fuid.c

118

VERIFY(0 == dmu_bonus_hold(os, fuid_obj,

usr/src/uts/common/fs/zfs/zfs_fuid.c

131

VERIFY(dmu_read(os, fuid_obj, 0,

usr/src/uts/common/fs/zfs/zfs_fuid.c

133

VERIFY(nvlist_unpack(packed, fuid_size,

usr/src/uts/common/fs/zfs/zfs_fuid.c

135

VERIFY(nvlist_lookup_nvlist_array(nvp, FUID_NVP_ARRAY,

usr/src/uts/common/fs/zfs/zfs_fuid.c

143

VERIFY(nvlist_lookup_string(fuidnvp[i], FUID_DOMAIN,

usr/src/uts/common/fs/zfs/zfs_fuid.c

145

VERIFY(nvlist_lookup_uint64(fuidnvp[i], FUID_IDX,

usr/src/uts/common/fs/zfs/zfs_fuid.c

247

VERIFY(zap_add(zfsvfs->z_os, MASTER_NODE_OBJ,

usr/src/uts/common/fs/zfs/zfs_fuid.c

252

VERIFY(nvlist_alloc(&nvp, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/zfs_fuid.c

258

VERIFY(nvlist_alloc(&fuids[i], NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/zfs_fuid.c

259

VERIFY(nvlist_add_uint64(fuids[i], FUID_IDX,

usr/src/uts/common/fs/zfs/zfs_fuid.c

261

VERIFY(nvlist_add_uint64(fuids[i], FUID_OFFSET, 0) == 0);

usr/src/uts/common/fs/zfs/zfs_fuid.c

262

VERIFY(nvlist_add_string(fuids[i], FUID_DOMAIN,

usr/src/uts/common/fs/zfs/zfs_fuid.c

265

VERIFY(nvlist_add_nvlist_array(nvp, FUID_NVP_ARRAY,

usr/src/uts/common/fs/zfs/zfs_fuid.c

270

VERIFY(nvlist_size(nvp, &nvsize, NV_ENCODE_XDR) == 0);

usr/src/uts/common/fs/zfs/zfs_fuid.c

272

VERIFY(nvlist_pack(nvp, &packed, &nvsize,

usr/src/uts/common/fs/zfs/zfs_fuid.c

279

VERIFY(0 == dmu_bonus_hold(zfsvfs->z_os, zfsvfs->z_fuid_obj,

usr/src/uts/common/fs/zfs/zfs_fuid.c

501

VERIFY(type == ZFS_OWNER || type == ZFS_GROUP);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

1623

VERIFY(nvlist_alloc(&zplprops, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

2269

VERIFY(nvlist_add_uint64(props, zfs_prop_to_name(prop), value) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

2304

VERIFY(nvlist_alloc(&nv, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

2471

VERIFY(nvpair_value_nvlist(pair, &attrs) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

2526

VERIFY(nvpair_value_nvlist(pair, &attrs) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

2527

VERIFY(nvlist_lookup_nvpair(attrs, ZPROP_VALUE,

usr/src/uts/common/fs/zfs/zfs_ioctl.c

2810

VERIFY(nvlist_alloc(newprops, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

2817

VERIFY(nvlist_add_nvpair(*newprops, pair) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

2930

VERIFY(nvlist_alloc(&dummy, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

2934

VERIFY(0 == nvlist_add_string(dummy, propname, ""));

usr/src/uts/common/fs/zfs/zfs_ioctl.c

2938

VERIFY(0 == nvlist_add_uint64(dummy, propname, 0));

usr/src/uts/common/fs/zfs/zfs_ioctl.c

3194

VERIFY(nvlist_add_uint64(zplprops,

usr/src/uts/common/fs/zfs/zfs_ioctl.c

3198

VERIFY(zfs_get_zplprop(os, ZFS_PROP_NORMALIZE, &norm) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

3199

VERIFY(nvlist_add_uint64(zplprops,

usr/src/uts/common/fs/zfs/zfs_ioctl.c

3208

VERIFY(zfs_get_zplprop(os, ZFS_PROP_UTF8ONLY, &u8) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

3209

VERIFY(nvlist_add_uint64(zplprops,

usr/src/uts/common/fs/zfs/zfs_ioctl.c

3213

VERIFY(zfs_get_zplprop(os, ZFS_PROP_CASE, &sense) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

3214

VERIFY(nvlist_add_uint64(zplprops,

usr/src/uts/common/fs/zfs/zfs_ioctl.c

3368

VERIFY(nvlist_alloc(&zct.zct_zplprops,

usr/src/uts/common/fs/zfs/zfs_ioctl.c

4336

VERIFY(nvpair_value_nvlist(pair, &attrs) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

4337

VERIFY(nvlist_lookup_nvpair(attrs, ZPROP_VALUE,

usr/src/uts/common/fs/zfs/zfs_ioctl.c

4574

VERIFY(nvlist_alloc(&errors, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

4585

VERIFY(nvlist_remove_nvpair(props, pair) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

4586

VERIFY(nvlist_add_int32(errors,

usr/src/uts/common/fs/zfs/zfs_ioctl.c

4597

VERIFY(nvpair_value_int32(pair, &rv) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

4614

VERIFY(nvpair_value_nvlist(p1, &attrs) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

4615

VERIFY(nvlist_lookup_nvpair(attrs, ZPROP_VALUE,

usr/src/uts/common/fs/zfs/zfs_ioctl.c

4621

VERIFY(nvpair_value_nvlist(p2, &attrs) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

4622

VERIFY(nvlist_lookup_nvpair(attrs, ZPROP_VALUE,

usr/src/uts/common/fs/zfs/zfs_ioctl.c

4632

VERIFY(nvpair_value_string(p1, (char **)&valstr1) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

4633

VERIFY(nvpair_value_string(p2, (char **)&valstr2) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

4638

VERIFY(nvpair_value_uint64(p1, &intval1) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

4639

VERIFY(nvpair_value_uint64(p2, &intval2) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

4702

VERIFY(nvlist_alloc(&delayprops, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

4718

VERIFY(nvlist_add_nvpair(delayprops, nvp) == 0);

usr/src/uts/common/fs/zfs/zfs_ioctl.c

4719

VERIFY(nvlist_remove_nvpair(props, nvp) == 0);

usr/src/uts/common/fs/zfs/zfs_sa.c

112

VERIFY(0 == dmu_buf_hold(zp->z_zfsvfs->z_os,

usr/src/uts/common/fs/zfs/zfs_sa.c

130

VERIFY((xoap = xva_getxoptattr(xvap)) != NULL);

usr/src/uts/common/fs/zfs/zfs_sa.c

164

VERIFY((xoap = xva_getxoptattr(xvap)) != NULL);

usr/src/uts/common/fs/zfs/zfs_sa.c

166

VERIFY(0 == sa_update(zp->z_sa_hdl, SA_ZPL_SCANSTAMP(zfsvfs),

usr/src/uts/common/fs/zfs/zfs_sa.c

178

VERIFY(dmu_set_bonus(db, len, tx) == 0);

usr/src/uts/common/fs/zfs/zfs_sa.c

183

VERIFY(0 == sa_update(zp->z_sa_hdl, SA_ZPL_FLAGS(zfsvfs),

usr/src/uts/common/fs/zfs/zfs_sa.c

315

VERIFY(dmu_set_bonustype(db, DMU_OT_SA, tx) == 0);

usr/src/uts/common/fs/zfs/zfs_sa.c

316

VERIFY(sa_replace_all_by_template_locked(hdl, sa_attrs,

usr/src/uts/common/fs/zfs/zfs_sa.c

319

VERIFY(0 == dmu_object_free(zfsvfs->z_os,

usr/src/uts/common/fs/zfs/zfs_vfsops.c

2353

VERIFY(zfsvfs_teardown(zfsvfs, B_TRUE) == 0);

usr/src/uts/common/fs/zfs/zfs_vfsops.c

2436

VERIFY(zfsctl_root_lookup(*vpp, "snapshot", vpp, NULL,

usr/src/uts/common/fs/zfs/zfs_vfsops.c

2511

VERIFY(dsl_dataset_long_held(ds));

usr/src/uts/common/fs/zfs/zfs_vfsops.c

2518

VERIFY(zfsvfs_setup(zfsvfs, B_FALSE) == 0);

usr/src/uts/common/fs/zfs/zfs_vfsops.c

2701

VERIFY(0 == sa_set_sa_object(os, sa_obj));

usr/src/uts/common/fs/zfs/zfs_vfsops.c

933

VERIFY(0 == zap_add(zfsvfs->z_os, MASTER_NODE_OBJ,

usr/src/uts/common/fs/zfs/zfs_vnops.c

256

VERIFY(fs_vscan(vp, cr, 1) == 0);

usr/src/uts/common/fs/zfs/zfs_znode.c

1045

VERIFY(sa_replace_all_by_template(sa_hdl, sa_attrs, cnt, tx) == 0);

usr/src/uts/common/fs/zfs/zfs_znode.c

1372

VERIFY(!zp->z_is_sa);

usr/src/uts/common/fs/zfs/zfs_znode.c

1373

VERIFY(0 == dmu_object_free(os, acl_obj, tx));

usr/src/uts/common/fs/zfs/zfs_znode.c

1375

VERIFY(0 == dmu_object_free(os, obj, tx));

usr/src/uts/common/fs/zfs/zfs_znode.c

1615

VERIFY(0 == sa_update(zp->z_sa_hdl, SA_ZPL_SIZE(zp->z_zfsvfs),

usr/src/uts/common/fs/zfs/zfs_znode.c

1722

VERIFY(sa_bulk_update(zp->z_sa_hdl, bulk, count, tx) == 0);

usr/src/uts/common/fs/zfs/zfs_znode.c

1873

VERIFY(nvpair_value_uint64(elem, &val) == 0);

usr/src/uts/common/fs/zfs/zfs_znode.c

1960

VERIFY(0 == zfs_acl_ids_create(rootzp, IS_ROOT_NODE, &vattr,

usr/src/uts/common/fs/zfs/zfs_znode.c

534

VERIFY(0 == zfs_acl_ids_create(sharezp, IS_ROOT_NODE, &vattr,

usr/src/uts/common/fs/zfs/zfs_znode.c

621

VERIFY(0 == sa_handle_get_from_db(zfsvfs->z_os, db, zp,

usr/src/uts/common/fs/zfs/zfs_znode.c

740

VERIFY(sa_lookup(zp->z_sa_hdl, SA_ZPL_RDEV(zfsvfs),

usr/src/uts/common/fs/zfs/zfs_znode.c

954

VERIFY(0 == sa_handle_get_from_db(zfsvfs->z_os, db, NULL, SA_HDL_SHARED,

usr/src/uts/common/fs/zfs/zil.c

3091

VERIFY(!zilog_is_dirty(zilog));

usr/src/uts/common/fs/zfs/zil.c

544

VERIFY(list_is_empty(&lwb->lwb_waiters));

usr/src/uts/common/fs/zfs/zil.c

554

VERIFY(list_is_empty(&lwb->lwb_waiters));

usr/src/uts/common/fs/zfs/zil.c

736

VERIFY(!keep_first);

usr/src/uts/common/fs/zfs/zio.c

2470

VERIFY(zfs_refcount_held(&mc->mc_alloc_slots[pio->io_allocator],

usr/src/uts/common/fs/zfs/zio.c

2481

VERIFY(metaslab_class_throttle_reserve(mc, gbh_copies - copies,

usr/src/uts/common/fs/zfs/zio.c

2564

VERIFY(metaslab_class_throttle_reserve(mc,

usr/src/uts/common/fs/zfs/zio.c

3257

VERIFY(metaslab_class_throttle_reserve(mc,

usr/src/uts/common/fs/zfs/zio.c

3489

VERIFY(zio->io_type != ZIO_TYPE_WRITE || spa_writeable(spa));

usr/src/uts/common/fs/zfs/zio.c

3596

VERIFY(vdev_probe(vd, zio) == NULL);

usr/src/uts/common/fs/zfs/zio.c

4210

VERIFY(zfs_refcount_not_held(

usr/src/uts/common/fs/zfs/zio.c

4232

VERIFY(BP_EQUAL(bp, &zio->io_bp_orig));

usr/src/uts/common/fs/zfs/zio_checksum.c

208

VERIFY((cksum & ~ZIO_CHECKSUM_MASK) == 0);

usr/src/uts/common/fs/zfs/zio_checksum.c

301

VERIFY(ci->ci_tmpl_free != NULL);

usr/src/uts/common/fs/zfs/zio_checksum.c

306

VERIFY(spa->spa_cksum_tmpls[checksum] != NULL);

usr/src/uts/common/fs/zfs/zio_checksum.c

567

VERIFY(ci->ci_tmpl_free != NULL);

usr/src/uts/common/fs/zfs/zio_inject.c

476

VERIFY(handler->zi_record.zi_timer == 0 ||

usr/src/uts/common/fs/zfs/zio_inject.c

482

VERIFY(handler->zi_record.zi_timer == 0 ||

usr/src/uts/common/fs/zfs/zvol.c

174

VERIFY(ddi_prop_update_int64(dev, zfs_dip,

usr/src/uts/common/fs/zfs/zvol.c

176

VERIFY(ddi_prop_update_int64(dev, zfs_dip,

usr/src/uts/common/fs/zfs/zvol.c

1875

VERIFY(ddi_soft_state_init(&zfsdev_state, sizeof (zfs_soft_state_t),

usr/src/uts/common/fs/zfs/zvol.c

2040

VERIFY(nvlist_alloc(&nv, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/zvol.c

2041

VERIFY(nvlist_add_uint64(nv,

usr/src/uts/common/fs/zfs/zvol.c

2043

VERIFY(nvlist_add_uint64(nv,

usr/src/uts/common/fs/zfs/zvol.c

2046

VERIFY(nvlist_add_uint64(nv,

usr/src/uts/common/fs/zfs/zvol.c

2050

VERIFY(nvlist_add_uint64(nv,

usr/src/uts/common/fs/zfs/zvol.c

2158

VERIFY(nvlist_alloc(&nv, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/fs/zfs/zvol.c

272

VERIFY(!BP_IS_EMBEDDED(bp));

usr/src/uts/common/fs/zfs/zvol.c

346

VERIFY(nvlist_lookup_uint64(nvprops,

usr/src/uts/common/fs/zfs/zvol.c

356

VERIFY(nvlist_remove_all(nvprops,

usr/src/uts/common/fs/zfs/zvol.c

657

VERIFY(dsl_prop_get_integer(zv->zv_name, "readonly", &readonly,

usr/src/uts/common/inet/inetddi.c

146

VERIFY(i < ndevs);

usr/src/uts/common/inet/ip/inet_ntop.c

185

VERIFY(addr != NULL);

usr/src/uts/common/inet/ip/inet_ntop.c

186

VERIFY(OK_32PTR(addr));

usr/src/uts/common/inet/ip/inet_ntop.c

187

VERIFY(buf != NULL);

usr/src/uts/common/inet/ip/ip.c

15237

VERIFY(ipst->ips_ip4_observe_pr != NULL);

usr/src/uts/common/inet/ip/ip.c

15240

VERIFY(ipst->ips_ip6_observe_pr != NULL);

usr/src/uts/common/inet/ip/ip.c

15247

VERIFY(net_protocol_release(ipst->ips_ip4_observe_pr) == 0);

usr/src/uts/common/inet/ip/ip.c

15248

VERIFY(net_protocol_release(ipst->ips_ip6_observe_pr) == 0);

usr/src/uts/common/inet/ip/ip_if.c

12484

VERIFY(grp->gr_pendv4-- > 0);

usr/src/uts/common/inet/ip/ip_if.c

12490

VERIFY(grp->gr_pendv6-- > 0);

usr/src/uts/common/inet/ip/ip_if.c

14436

VERIFY(ipif_insert(ipif, B_FALSE) == 0);

usr/src/uts/common/inet/ip/ip_if.c

2249

VERIFY(taskq_dispatch(system_taskq,

usr/src/uts/common/inet/ip/ip_if.c

2262

VERIFY(ipst->ips_capab_taskq_head == NULL);

usr/src/uts/common/inet/ip/ip_if.c

2263

VERIFY(ipst->ips_capab_taskq_tail == NULL);

usr/src/uts/common/inet/ip/ip_if.c

2284

VERIFY(ipsq_enter(ill, B_FALSE, CUR_OP) == B_TRUE);

usr/src/uts/common/inet/ip/ip_if.c

6418

VERIFY(--ipx->ipx_reentry_cnt == 0);

usr/src/uts/common/inet/ip/ip_if.c

6446

VERIFY(ipx->ipx_reentry_cnt++ == 0);

usr/src/uts/common/inet/ip/ip_if.c

6483

VERIFY(--ipx->ipx_reentry_cnt == 0);

usr/src/uts/common/inet/ip/ip_ndp.c

1502

VERIFY(ipif_ndp_up(ipif, B_TRUE) != EINPROGRESS);

usr/src/uts/common/inet/ip/ip_ndp.c

1505

VERIFY(ipif_arp_up(ipif, Res_act_initial, B_TRUE) !=

usr/src/uts/common/inet/ip/ipmp.c

1672

VERIFY(ipif_resolver_up(ipif, act) == 0);

usr/src/uts/common/inet/ipd/ipd.c

1120

VERIFY(net_instance_unregister(ipd_neti) == 0);

usr/src/uts/common/inet/ipd/ipd.c

481

VERIFY(net_hook_unregister(ins->ipdn_v6hdl, NH_PHYSICAL_OUT,

usr/src/uts/common/inet/ipd/ipd.c

483

VERIFY(net_hook_unregister(ins->ipdn_v6hdl, NH_PHYSICAL_IN,

usr/src/uts/common/inet/ipd/ipd.c

485

VERIFY(net_hook_unregister(ins->ipdn_v4hdl, NH_PHYSICAL_OUT,

usr/src/uts/common/inet/ipd/ipd.c

487

VERIFY(net_hook_unregister(ins->ipdn_v4hdl, NH_PHYSICAL_IN,

usr/src/uts/common/inet/ipd/ipd.c

497

VERIFY(net_protocol_release(ins->ipdn_v6hdl) == 0);

usr/src/uts/common/inet/ipd/ipd.c

498

VERIFY(net_protocol_release(ins->ipdn_v4hdl) == 0);

usr/src/uts/common/inet/ipd/ipd.c

938

VERIFY(id == ins->ipdn_netid);

usr/src/uts/common/inet/ipf/ip_fil_solaris.c

1174

VERIFY(isp != NULL);

usr/src/uts/common/inet/ipf/ip_fil_solaris.c

709

VERIFY(ret == 0 || ret == ESHUTDOWN);

usr/src/uts/common/inet/ipnet/ipnet.c

1318

VERIFY(avl_find(&ips->ips_avl_by_index, &index, &where) == NULL);

usr/src/uts/common/inet/ipnet/ipnet.c

1320

VERIFY(avl_find(&ips->ips_avl_by_name, (void *)name, &where) == NULL);

usr/src/uts/common/inet/ipnet/ipnet.c

1735

VERIFY(net_hook_unregister(ips->ips_ndv4, NH_NIC_EVENTS,

usr/src/uts/common/inet/ipnet/ipnet.c

1737

VERIFY(net_protocol_release(ips->ips_ndv4) == 0);

usr/src/uts/common/inet/ipnet/ipnet.c

1740

VERIFY(net_hook_unregister(ips->ips_ndv6, NH_NIC_EVENTS,

usr/src/uts/common/inet/ipnet/ipnet.c

1742

VERIFY(net_protocol_release(ips->ips_ndv6) == 0);

usr/src/uts/common/inet/ipnet/ipnet.c

1977

VERIFY(hook != NULL);

usr/src/uts/common/inet/ipnet/ipnet.c

2018

VERIFY((ns = netstack_find_by_zoneid(zoneid)) != NULL);

usr/src/uts/common/inet/ipnet/ipnet.c

2056

VERIFY((ips = ipnet_find_by_zoneid(zoneid)) != NULL);

usr/src/uts/common/inet/ipnet/ipnet.c

2113

VERIFY((ips = ipnet_find_by_zoneid(zoneid)) != NULL);

usr/src/uts/common/inet/ipnet/ipnet.c

2263

VERIFY(net_hook_unregister(ipst->ips_ip4_observe_pr, NH_OBSERVE,

usr/src/uts/common/inet/ipnet/ipnet.c

2266

VERIFY(net_hook_unregister(ipst->ips_ip6_observe_pr, NH_OBSERVE,

usr/src/uts/common/inet/ipnet/ipnet.c

350

VERIFY(net_protocol_release(ips->ips_ndv4) == 0);

usr/src/uts/common/inet/ipnet/ipnet.c

359

VERIFY(net_protocol_release(ips->ips_ndv6) == 0);

usr/src/uts/common/inet/ipnet/ipnet.c

535

VERIFY((ns = netstack_find_by_cred(crp)) != NULL);

usr/src/uts/common/inet/ipnet/ipnet_bpf.c

195

VERIFY((ips = ipnet_find_by_zoneid(zoneid)) != NULL);

usr/src/uts/common/inet/iptun/iptun.c

1318

VERIFY(mod_hash_remove(iptun_hash,

usr/src/uts/common/inet/iptun/iptun.c

1336

VERIFY(iptun_unregister(iptun) == 0);

usr/src/uts/common/inet/sockmods/socksctpsubr.c

562

VERIFY(mp->b_prev == mp1);

usr/src/uts/common/inet/squeue.c

1380

VERIFY(mp != NULL);

usr/src/uts/common/inet/tcp/tcp.c

2436

VERIFY(tcp->tcp_cc_algo->cb_init(&tcp->tcp_ccv) == 0);

usr/src/uts/common/inet/tcp/tcp_time_wait.c

495

VERIFY(tcp_time_wait_remove(tcp, tsp));

usr/src/uts/common/inet/tcp/tcp_timers.c

170

VERIFY(!(tcpt->tcpt_tid & CALLOUT_ID_FREE));

usr/src/uts/common/io/aggr/aggr_grp.c

2122

VERIFY(mac_unregister(grp->lg_mh) == 0);

usr/src/uts/common/io/blkdev/blkdev.c

2395

VERIFY(len <= sizeof (hdl->h_addr));

usr/src/uts/common/io/bpf/bpf_mod.c

172

VERIFY(bpf_provider_add(&bpf_ipnet) == 0);

usr/src/uts/common/io/bpf/bpf_mod.c

173

VERIFY(bpf_provider_add(&bpf_mac) == 0);

usr/src/uts/common/io/bpf/bpf_mod.c

226

VERIFY(bpf_provider_remove(&bpf_ipnet) == 0);

usr/src/uts/common/io/bpf/bpf_mod.c

227

VERIFY(bpf_provider_remove(&bpf_mac) == 0);

usr/src/uts/common/io/cpqary3/cpqary3.c

192

VERIFY(retvalue == 0);

usr/src/uts/common/io/cpqary3/cpqary3.c

299

VERIFY(retvalue == 0);

usr/src/uts/common/io/cpqary3/cpqary3.c

671

VERIFY(untimeout(cpqary3p->tick_tmout_id) >= 0);

usr/src/uts/common/io/cpqary3/cpqary3_noe.c

297

VERIFY(memp != NULL);

usr/src/uts/common/io/devpoll.c

1361

VERIFY(pollstate_enter(pcp) == PSE_SUCCESS);

usr/src/uts/common/io/devpoll.c

1682

VERIFY(pl->pcl_refcnt >= 1);

usr/src/uts/common/io/devpoll.c

1686

VERIFY(pl->pcl_state == PCL_INVALID);

usr/src/uts/common/io/devpoll.c

530

VERIFY(fdcnt == 0);

usr/src/uts/common/io/devpoll.c

531

VERIFY(ps != NULL);

usr/src/uts/common/io/devpoll.c

863

VERIFY(pollstate_enter(pcp) == PSE_SUCCESS);

usr/src/uts/common/io/dld/dld_drv.c

1041

VERIFY(mod_hash_remove(dld_ap_hashp, key, &val) == 0);

usr/src/uts/common/io/dld/dld_drv.c

1249

VERIFY(mod_hash_insert(drv_secobj_hash,

usr/src/uts/common/io/dld/dld_drv.c

1356

VERIFY(mod_hash_remove(drv_secobj_hash, (mod_hash_key_t)sup->su_name,

usr/src/uts/common/io/dld/dld_drv.c

1672

VERIFY(dld_ioc_register(modid, NULL, 0) == 0);

usr/src/uts/common/io/dld/dld_drv.c

944

VERIFY(mod_hash_remove(dld_ap_hashp, key, &val) == 0);

usr/src/uts/common/io/dld/dld_drv.c

980

VERIFY(mod_hash_insert(dld_ap_hashp, key,

usr/src/uts/common/io/dld/dld_str.c

1973

VERIFY(taskq_dispatch(dld_taskq, dld_wput_nondata_task,

usr/src/uts/common/io/dls/dls_link.c

125

VERIFY(mac_vlan_header_info((mh), \

usr/src/uts/common/io/dls/dls_link.c

642

VERIFY(nvlist_alloc(&nvp, NV_UNIQUE_NAME, KM_SLEEP) == 0);

usr/src/uts/common/io/dls/dls_link.c

643

VERIFY(nvlist_add_int32(nvp, DATALINK_EV_LINK_ID,

usr/src/uts/common/io/dls/dls_link.c

645

VERIFY(nvlist_add_string(nvp, DATALINK_EV_LINK_NAME,

usr/src/uts/common/io/dls/dls_link.c

647

VERIFY(nvlist_add_int32(nvp, DATALINK_EV_ZONE_ID,

usr/src/uts/common/io/dls/dls_link.c

654

VERIFY(event != NULL);

usr/src/uts/common/io/dls/dls_mgmt.c

1097

VERIFY(ddp->dd_ref != 0);

usr/src/uts/common/io/dls/dls_mgmt.c

113

VERIFY(MUTEX_HELD(&i_dls_devnet_lock));

usr/src/uts/common/io/dls/dls_mgmt.c

1158

VERIFY(mod_hash_remove(i_dls_devnet_hash,

usr/src/uts/common/io/dls/dls_mgmt.c

1162

VERIFY(mod_hash_remove(i_dls_devnet_id_hash,

usr/src/uts/common/io/dls/dls_mgmt.c

1213

VERIFY(ddp->dd_tref == 0);

usr/src/uts/common/io/dls/dls_mgmt.c

1214

VERIFY(ddp->dd_prop_taskid == 0);

usr/src/uts/common/io/dls/dls_mgmt.c

1248

VERIFY(ddp->dd_ref > 0);

usr/src/uts/common/io/dls/dls_mgmt.c

1278

VERIFY(ddp->dd_ref > 0);

usr/src/uts/common/io/dls/dls_mgmt.c

130

VERIFY(MUTEX_HELD(&i_dls_devnet_lock));

usr/src/uts/common/io/dls/dls_mgmt.c

1346

VERIFY(ddp->dd_ref > 0);

usr/src/uts/common/io/dls/dls_mgmt.c

1364

VERIFY(ddp->dd_ref > 1);

usr/src/uts/common/io/dls/dls_mgmt.c

1416

VERIFY(i_dls_devnet_destroy_iptun(linkid) == 0);

usr/src/uts/common/io/dls/dls_mgmt.c

1866

VERIFY(mac_perim_enter_by_macname(ddp->dd_mac, &mph) == 0);

usr/src/uts/common/io/dls/dls_mgmt.c

1867

VERIFY(dls_link_hold(ddp->dd_mac, &dlp) == 0);

usr/src/uts/common/io/dls/dls_mgmt.c

1954

VERIFY(linkid != DATALINK_INVALID_LINKID);

usr/src/uts/common/io/dls/dls_mgmt.c

2089

VERIFY(dls_mgmt_destroy(ik.iptun_kparam_linkid, B_FALSE) == 0);

usr/src/uts/common/io/dls/dls_mgmt.c

223

VERIFY(ddp->dd_ksp == NULL);

usr/src/uts/common/io/dls/dls_mgmt.c

224

VERIFY(ddp->dd_ref == 0);

usr/src/uts/common/io/dls/dls_mgmt.c

225

VERIFY(ddp->dd_tref == 0);

usr/src/uts/common/io/dls/dls_mgmt.c

991

VERIFY(mod_hash_insert(i_dls_devnet_hash,

usr/src/uts/common/io/dls/dls_mgmt.c

999

VERIFY(mod_hash_insert(i_dls_devnet_id_hash,

usr/src/uts/common/io/e1000g/e1000g_main.c

3187

VERIFY(e1000g->e1000g_emul_blink);

usr/src/uts/common/io/eedev/eedev.c

263

VERIFY(MUTEX_HELD(&eedev.eedev_mutex));

usr/src/uts/common/io/eedev/eedev.c

547

VERIFY(MUTEX_HELD(&eedev.eedev_mutex));

usr/src/uts/common/io/ena/ena.c

2057

VERIFY(ena->ena_state & ENA_STATE_STARTED);

usr/src/uts/common/io/ena/ena_admin.c

172

VERIFY(MUTEX_HELD(&aq->ea_cq_lock));

usr/src/uts/common/io/ena/ena_admin.c

99

VERIFY(MUTEX_HELD(&aq->ea_sq_lock));

usr/src/uts/common/io/eventfd.c

282

VERIFY(*sp != NULL);

usr/src/uts/common/io/fibre-channel/fca/emlxs/emlxs_solaris.c

12330

VERIFY((size % 4) == 0);

usr/src/uts/common/io/fibre-channel/fca/emlxs/emlxs_solaris.c

12352

VERIFY((size % 4) == 0);

usr/src/uts/common/io/gpio/kgpio.c

944

VERIFY(kgpio->kgpio_flags & KGPIO_F_HELD);

usr/src/uts/common/io/gpio/kgpio.c

953

VERIFY(kgpio->kgpio_flags & KGPIO_F_META_WORK);

usr/src/uts/common/io/hook.c

1483

VERIFY(hook_wait_destroy(&hei->hei_waiter) == 0);

usr/src/uts/common/io/hook.c

596

VERIFY(hook_wait_destroy(&hks->hks_waiter) == 0);

usr/src/uts/common/io/hook.c

732

VERIFY(TAILQ_EMPTY(&hks->hks_nhead));

usr/src/uts/common/io/hook.c

989

VERIFY(hook_wait_destroy(&hfi->hfi_waiter) == 0);

usr/src/uts/common/io/i2c/ctrl/i2csim/i2csim.c

101

VERIFY(MUTEX_HELD(&sim->sim_mutex));

usr/src/uts/common/io/i2c/ctrl/i2csim/i2csim.c

120

VERIFY((i2c_req != NULL && smbus_req == NULL) ||

usr/src/uts/common/io/i2c/ctrl/i2csim/i2csim.c

324

VERIFY(MUTEX_HELD(&sim->sim_mutex));

usr/src/uts/common/io/i2c/ctrl/ismt/ismt.c

310

VERIFY(MUTEX_HELD(&ismt->ismt_mutex));

usr/src/uts/common/io/i2c/ctrl/ismt/ismt.c

421

VERIFY(MUTEX_HELD(&ismt->ismt_mutex));

usr/src/uts/common/io/i2c/ctrl/ismt/ismt.c

422

VERIFY(ismt->ismt_req == NULL || ismt->ismt_i2creq == NULL);

usr/src/uts/common/io/i2c/ctrl/ismt/ismt.c

451

VERIFY(MUTEX_HELD(&ismt->ismt_mutex));

usr/src/uts/common/io/i2c/ctrl/ismt/ismt.c

483

VERIFY(MUTEX_HELD(&ismt->ismt_mutex));

usr/src/uts/common/io/i2c/ctrl/pchsmbus/pchsmbus.c

389

VERIFY(!(want_i2c && want_buf));

usr/src/uts/common/io/i2c/ctrl/pchsmbus/pchsmbus.c

692

VERIFY(MUTEX_HELD(&pch->ps_mutex));

usr/src/uts/common/io/i2c/eeprom/spd511x/spd511x.c

103

VERIFY(MUTEX_HELD(&spd->spd_mutex));

usr/src/uts/common/io/i2c/nexus/i2cnex.c

675

VERIFY(MUTEX_HELD(&i2cnex_minors.im_mutex));

usr/src/uts/common/io/i2c/nexus/i2cnex_client.c

308

VERIFY(i2c_txn_held(txn));

usr/src/uts/common/io/i2c/nexus/i2cnex_client.c

551

VERIFY(i2c_txn_held(txn));

usr/src/uts/common/io/i2c/nexus/i2cnex_ctrl.c

772

VERIFY(i2c_txn_held(txn));

usr/src/uts/common/io/i2c/nexus/i2cnex_ctrl.c

975

VERIFY(i2c_txn_held(txn));

usr/src/uts/common/io/i2c/nexus/i2cnex_device.c

101

VERIFY(i2c_txn_held(txn));

usr/src/uts/common/io/i2c/nexus/i2cnex_device.c

162

VERIFY(DEVI_BUSY_OWNED(port->ip_nex->in_dip));

usr/src/uts/common/io/i2c/nexus/i2cnex_device.c

210

VERIFY(DEVI_BUSY_OWNED(port->ip_nex->in_dip));

usr/src/uts/common/io/i2c/nexus/i2cnex_device.c

36

VERIFY(i2c_txn_held(txn));

usr/src/uts/common/io/i2c/nexus/i2cnex_device.c

78

VERIFY(i2c_txn_held(txn));

usr/src/uts/common/io/i2c/nexus/i2cnex_mux.c

258

VERIFY(i2c_txn_held(txn));

usr/src/uts/common/io/i2c/nexus/i2cnex_mux.c

292

VERIFY(i2c_txn_held(txn));

usr/src/uts/common/io/i2c/nexus/i2cnex_mux.c

348

VERIFY(list_is_empty(&ctrl->ic_mux_plan));

usr/src/uts/common/io/i2c/nexus/i2cnex_mux.c

400

VERIFY(i2c_txn_held(txn));

usr/src/uts/common/io/i2c/nexus/i2cnex_props.c

216

VERIFY(i2c_txn_held(txn));

usr/src/uts/common/io/i2c/nexus/i2cnex_props.c

268

VERIFY(perm == I2C_PROP_PERM_RO || perm == I2C_PROP_PERM_RW);

usr/src/uts/common/io/i2c/nexus/i2cnex_props.c

277

VERIFY(info->upi_type == I2C_PROP_TYPE_U32 ||

usr/src/uts/common/io/i2c/nexus/i2cnex_props.c

289

VERIFY(info->upi_type == I2C_PROP_TYPE_U32);

usr/src/uts/common/io/i2c/nexus/i2cnex_props.c

298

VERIFY(range->ipr_type == I2C_PROP_TYPE_U32);

usr/src/uts/common/io/i2c/nexus/i2cnex_props.c

310

VERIFY(info->upi_type == I2C_PROP_TYPE_U32 ||

usr/src/uts/common/io/i2c/nexus/i2cnex_props.c

316

VERIFY(range->ipr_type == I2C_PROP_TYPE_BIT32);

usr/src/uts/common/io/i2c/nexus/i2cnex_txn.c

100

VERIFY(MUTEX_HELD(&lock->cl_mutex));

usr/src/uts/common/io/i2c/nexus/i2cnex_txn.c

141

VERIFY(MUTEX_HELD(&lock->cl_mutex));

usr/src/uts/common/io/i2c/nexus/i2cnex_user.c

124

VERIFY(i2c_txn_held(user->iu_txn));

usr/src/uts/common/io/i2c/nexus/i2cnex_user.c

77

VERIFY(i2c_txn_held(user->iu_txn));

usr/src/uts/common/io/i2c/nexus/i2cnex_util.c

74

VERIFY(i2c_dip_is_dev(dip));

usr/src/uts/common/io/i40e/core/i40e_common.c

4106

VERIFY(hw->num_partitions > 0);

usr/src/uts/common/io/i40e/i40e_intr.c

498

VERIFY(i40e->i40e_intr_type == DDI_INTR_TYPE_FIXED ||

usr/src/uts/common/io/i40e/i40e_main.c

2614

VERIFY((reg & I40E_QRX_ENA_QENA_REQ_MASK) ==

usr/src/uts/common/io/i40e/i40e_main.c

2802

VERIFY(i40e->i40e_rx_buf_size >= I40E_HMC_RX_DBUFF_MIN);

usr/src/uts/common/io/i40e/i40e_main.c

2803

VERIFY(i40e->i40e_rx_buf_size <= I40E_HMC_RX_DBUFF_MAX);

usr/src/uts/common/io/i40e/i40e_main.c

478

VERIFY(idp->id_nreg > 0);

usr/src/uts/common/io/i40e/i40e_main.c

506

VERIFY(idp->id_nreg < idp->id_nfuncs);

usr/src/uts/common/io/i40e/i40e_osdep.c

140

VERIFY(mem->idm_dma_handle != NULL);

usr/src/uts/common/io/i40e/i40e_transceiver.c

1165

VERIFY(rcb != NULL);

usr/src/uts/common/io/i40e/i40e_transceiver.c

1510

VERIFY(eop != 0);

usr/src/uts/common/io/i40e/i40e_transceiver.c

569

VERIFY(dmap->dmab_dma_handle != NULL);

usr/src/uts/common/io/i40e/i40e_transceiver.c

664

VERIFY(ncookies == 1);

usr/src/uts/common/io/i40e/i40e_transceiver.c

678

VERIFY(rxd->rxd_rcb_pending == 0);

usr/src/uts/common/io/i40e/i40e_transceiver.c

781

VERIFY(rcb != NULL);

usr/src/uts/common/io/i40e/i40e_transceiver.c

823

VERIFY(dmasz > 0);

usr/src/uts/common/io/i40e/i40e_transceiver.c

839

VERIFY(dmasz > 0);

usr/src/uts/common/io/i40e/i40e_transceiver.c

842

VERIFY(rcb != NULL);

usr/src/uts/common/io/i40e/i40e_transceiver.c

945

VERIFY(dmasz > 0);

usr/src/uts/common/io/i40e/i40e_transceiver.c

993

VERIFY(dmasz > 0);

usr/src/uts/common/io/i40e/i40e_transceiver.c

996

VERIFY(tcb != NULL);

usr/src/uts/common/io/ktest/ktest.c

376

VERIFY(MUTEX_HELD(&ktest_lock));

usr/src/uts/common/io/ktest/ktest.c

428

VERIFY(module != NULL);

usr/src/uts/common/io/ktest/ktest.c

429

VERIFY(suite != NULL);

usr/src/uts/common/io/ktest/ktest.c

430

VERIFY(test != NULL);

usr/src/uts/common/io/ktest/ktest.c

431

VERIFY(MUTEX_HELD(&ktest_lock));

usr/src/uts/common/io/ktest/ktest.c

736

VERIFY(ctx->ktc_test->kt_requires_input == B_TRUE);

usr/src/uts/common/io/ktest/ktest_selftest.c

228

VERIFY(ktest_register_module(km) == EEXIST);

usr/src/uts/common/io/mac/mac.c

1964

VERIFY(mip->mi_state_flags & MIS_IS_AGGR);

usr/src/uts/common/io/mac/mac.c

2266

VERIFY(mac_perim_held((mac_handle_t)FLENT_TO_MIP(flent)));

usr/src/uts/common/io/mac/mac.c

5522

VERIFY(map->ma_group == NULL || map->ma_group == group);

usr/src/uts/common/io/mac/mac.c

5610

VERIFY(group == NULL || !hw_mac);

usr/src/uts/common/io/mac/mac.c

650

VERIFY(p == NULL);

usr/src/uts/common/io/mac/mac.c

683

VERIFY(p != NULL);

usr/src/uts/common/io/mac/mac.c

833

VERIFY(mac_callback_remove(mcbi,

usr/src/uts/common/io/mac/mac_client.c

1055

VERIFY(i_mac_capab_get(mh, MAC_CAPAB_AGGR, &aggr_cap));

usr/src/uts/common/io/mac/mac_client.c

278

VERIFY(i_mac_capab_get((mac_handle_t)mip, MAC_CAPAB_VNIC, &cap));

usr/src/uts/common/io/mac/mac_client.c

292

VERIFY(i_mac_capab_get((mac_handle_t)mip, MAC_CAPAB_VNIC, &cap));

usr/src/uts/common/io/mac/mac_client.c

3472

VERIFY(mac_callback_remove(&mip->mi_promisc_cb_info,

usr/src/uts/common/io/mac/mac_datapath_setup.c

2115

VERIFY(mac_rx_srs->srs_fanout_state <=

usr/src/uts/common/io/mac/mac_datapath_setup.c

3137

VERIFY(mcip->mci_unicast != NULL);

usr/src/uts/common/io/mac/mac_datapath_setup.c

318

VERIFY(mac_perim_held((mac_handle_t)mcip->mci_mip));

usr/src/uts/common/io/mac/mac_datapath_setup.c

3293

VERIFY(grp_only_mcip != NULL);

usr/src/uts/common/io/mac/mac_datapath_setup.c

3426

VERIFY(grp_only_mcip != NULL);

usr/src/uts/common/io/mac/mac_datapath_setup.c

349

VERIFY(mac_perim_held((mac_handle_t)mcip->mci_mip));

usr/src/uts/common/io/mac/mac_datapath_setup.c

3620

VERIFY(MUTEX_HELD(&mac_srs->srs_lock));

usr/src/uts/common/io/mac/mac_datapath_setup.c

3622

VERIFY((mac_srs->srs_state & (SRS_CONDEMNED | SRS_QUIESCE)) != 0);

usr/src/uts/common/io/mac/mac_datapath_setup.c

403

VERIFY(mac_perim_held((mac_handle_t)mcip->mci_mip));

usr/src/uts/common/io/mac/mac_datapath_setup.c

4039

VERIFY(ring != NULL);

usr/src/uts/common/io/mac/mac_datapath_setup.c

4077

VERIFY(i_mac_capab_get((mac_handle_t)mip,

usr/src/uts/common/io/mac/mac_datapath_setup.c

474

VERIFY(mac_perim_held((mac_handle_t)mcip->mci_mip));

usr/src/uts/common/io/mac/mac_datapath_setup.c

486

VERIFY(!(srs->srs_type & SRST_DLS_BYPASS_V4));

usr/src/uts/common/io/mac/mac_datapath_setup.c

492

VERIFY(!(srs->srs_type & SRST_DLS_BYPASS_V6));

usr/src/uts/common/io/mac/mac_flow.c

1071

VERIFY(mod_hash_remove(flow_hash,

usr/src/uts/common/io/mac/mac_flow.c

606

VERIFY(cnt == ft->ft_flow_count);

usr/src/uts/common/io/mac/mac_ktest.c

288

VERIFY(mp != NULL);

usr/src/uts/common/io/mac/mac_ktest.c

295

VERIFY(mp != NULL);

usr/src/uts/common/io/mac/mac_protect.c

2204

VERIFY(insert_slaac_ip(ttp, token, addr) == B_TRUE);

usr/src/uts/common/io/mac/mac_sched.c

4130

VERIFY(head == tail);

usr/src/uts/common/io/mac/mac_sched.c

4192

VERIFY(head == tail);

usr/src/uts/common/io/mac/mac_soft_ring.c

243

VERIFY(ring != NULL);

usr/src/uts/common/io/mac/mac_soft_ring.c

668

VERIFY((sr->s_ring_state & (ST_RING_TCP | ST_RING_TCP6)) != 0);

usr/src/uts/common/io/mac/mac_soft_ring.c

702

VERIFY((sr->s_ring_state & (ST_RING_TCP | ST_RING_TCP6)) != 0);

usr/src/uts/common/io/mlxcx/mlxcx.c

1433

VERIFY(b->mlb_state == MLXCX_BUFFER_INIT);

usr/src/uts/common/io/mlxcx/mlxcx.c

2542

VERIFY(mlxcx_cmd_access_register(mlxp, MLXCX_CMD_ACCESS_REGISTER_READ,

usr/src/uts/common/io/mlxcx/mlxcx.c

479

VERIFY((mlxp->mlx_attach & MLXCX_ATTACH_PORTS) != 0);

usr/src/uts/common/io/mlxcx/mlxcx.c

480

VERIFY((mlxp->mlx_attach & (MLXCX_ATTACH_CQS | MLXCX_ATTACH_WQS)) == 0);

usr/src/uts/common/io/mlxcx/mlxcx.c

925

VERIFY(mleq->mleq_state & MLXCX_EQ_ALLOC);

usr/src/uts/common/io/mlxcx/mlxcx.c

927

VERIFY(mleq->mleq_state & MLXCX_EQ_DESTROYED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

1513

VERIFY(mlup->mlu_allocated);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

1573

VERIFY(mlpd->mlpd_allocated);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

1633

VERIFY(mltd->mltd_allocated);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

1803

VERIFY(0);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2140

VERIFY(mleq->mleq_state & MLXCX_EQ_ALLOC);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2199

VERIFY(mleq->mleq_state & MLXCX_EQ_ALLOC);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2200

VERIFY(mleq->mleq_state & MLXCX_EQ_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2235

VERIFY(mleq->mleq_state & MLXCX_EQ_ALLOC);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2236

VERIFY(mleq->mleq_state & MLXCX_EQ_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2304

VERIFY(mlcq->mlcq_state & MLXCX_CQ_ALLOC);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2367

VERIFY(mlwq->mlwq_state & MLXCX_WQ_ALLOC);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2368

VERIFY(mlwq->mlwq_state & MLXCX_WQ_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2404

VERIFY(mlwq->mlwq_state & MLXCX_WQ_ALLOC);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2405

VERIFY(mlwq->mlwq_state & MLXCX_WQ_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2441

VERIFY(mlcq->mlcq_state & MLXCX_CQ_ALLOC);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2442

VERIFY(mlcq->mlcq_state & MLXCX_CQ_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2477

VERIFY(mlcq->mlcq_state & MLXCX_CQ_ALLOC);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2478

VERIFY(mlcq->mlcq_state & MLXCX_CQ_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2517

VERIFY(mlwq->mlwq_state & MLXCX_WQ_ALLOC);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2589

VERIFY(mlwq->mlwq_state & MLXCX_WQ_ALLOC);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2590

VERIFY(mlwq->mlwq_state & MLXCX_WQ_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2648

VERIFY(mlwq->mlwq_state & MLXCX_WQ_ALLOC);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2649

VERIFY(mlwq->mlwq_state & MLXCX_WQ_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2650

VERIFY(mlwq->mlwq_state & MLXCX_WQ_STARTED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2691

VERIFY(mlwq->mlwq_state & MLXCX_WQ_ALLOC);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2692

VERIFY(mlwq->mlwq_state & MLXCX_WQ_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2739

VERIFY(mltir->mltir_rqtable != NULL);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2740

VERIFY(mltir->mltir_rqtable->mlrqt_state & MLXCX_RQT_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2756

VERIFY(mltir->mltir_rq != NULL);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2757

VERIFY(mltir->mltir_rq->mlwq_state & MLXCX_WQ_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2761

VERIFY(0);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2790

VERIFY(mltir->mltir_state & MLXCX_TIR_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2860

VERIFY(mltis->mltis_state & MLXCX_TIR_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2936

VERIFY(mlft->mlft_state & MLXCX_FLOW_TABLE_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

2974

VERIFY(mlft->mlft_state & MLXCX_FLOW_TABLE_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

3016

VERIFY(mlft->mlft_state & MLXCX_FLOW_TABLE_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

3128

VERIFY(mlft->mlft_state & MLXCX_FLOW_TABLE_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

3130

VERIFY(mlfg->mlfg_state & MLXCX_FLOW_GROUP_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

3179

VERIFY(mlft->mlft_state & MLXCX_FLOW_TABLE_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

3183

VERIFY(mlfg->mlfg_state & MLXCX_FLOW_GROUP_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

3241

VERIFY(0);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

3247

VERIFY(0);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

3252

VERIFY(0);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

3340

VERIFY(mlft->mlft_state & MLXCX_FLOW_TABLE_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

3394

VERIFY(mlwq->mlwq_state & MLXCX_WQ_ALLOC);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

3409

VERIFY(mlwq->mlwq_tis != NULL);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

3474

VERIFY(mlwq->mlwq_state & MLXCX_WQ_ALLOC);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

3475

VERIFY(mlwq->mlwq_state & MLXCX_WQ_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

3533

VERIFY(mlwq->mlwq_state & MLXCX_WQ_ALLOC);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

3534

VERIFY(mlwq->mlwq_state & MLXCX_WQ_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

3535

VERIFY(mlwq->mlwq_state & MLXCX_WQ_STARTED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

3576

VERIFY(mlwq->mlwq_state & MLXCX_WQ_ALLOC);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

3577

VERIFY(mlwq->mlwq_state & MLXCX_WQ_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_cmd.c

3656

VERIFY(mlrqt->mlrqt_state & MLXCX_RQT_CREATED);

usr/src/uts/common/io/mlxcx/mlxcx_dma.c

225

VERIFY(mxdb->mxdb_dma_handle != NULL);

usr/src/uts/common/io/mlxcx/mlxcx_gld.c

521

VERIFY(mp->b_next == NULL);

usr/src/uts/common/io/mlxcx/mlxcx_intr.c

85

VERIFY(mleq->mleq_state & MLXCX_EQ_DESTROYED);

usr/src/uts/common/io/mlxcx/mlxcx_intr.c

87

VERIFY(avl_is_empty(&mleq->mleq_cqs));

usr/src/uts/common/io/mlxcx/mlxcx_ring.c

106

VERIFY(mlwq->mlwq_state & MLXCX_WQ_ALLOC);

usr/src/uts/common/io/mlxcx/mlxcx_ring.c

108

VERIFY(mlwq->mlwq_state & MLXCX_WQ_DESTROYED);

usr/src/uts/common/io/mlxcx/mlxcx_ring.c

174

VERIFY(mlcq->mlcq_state & MLXCX_CQ_ALLOC);

usr/src/uts/common/io/mlxcx/mlxcx_ring.c

176

VERIFY(mlcq->mlcq_state & MLXCX_CQ_DESTROYED);

usr/src/uts/common/io/mlxcx/mlxcx_ring.c

2561

VERIFY(0);

usr/src/uts/common/io/mlxcx/mlxcx_ring.c

2590

VERIFY(b->mlb_state == MLXCX_BUFFER_FREE ||

usr/src/uts/common/io/mlxcx/mlxcx_ring.c

62

VERIFY(0);

usr/src/uts/common/io/nvme/nvme.c

1367

VERIFY(MUTEX_HELD(&lock->nml_lock));

usr/src/uts/common/io/nvme/nvme.c

1387

VERIFY(nvme_mgmt_lock_held(ns->ns_nvme));

usr/src/uts/common/io/nvme/nvme.c

2874

VERIFY(cmd->nc_nvme->n_dead);

usr/src/uts/common/io/nvme/nvme.c

5776

VERIFY(nprp == 1);

usr/src/uts/common/io/nvme/nvme.c

5885

VERIFY(xfer->x_nblks <= 0x10000);

usr/src/uts/common/io/nvme/nvme_lock.c

358

VERIFY(MUTEX_HELD(&nvme->n_minor_mutex));

usr/src/uts/common/io/nvme/nvme_lock.c

360

VERIFY(info->nli_curlevel == NVME_LOCK_L_READ ||

usr/src/uts/common/io/nvme/nvme_lock.c

473

VERIFY(MUTEX_HELD(&nvme->n_minor_mutex));

usr/src/uts/common/io/nxge/nxge_hw.c

205

VERIFY(ldvp != NULL);

usr/src/uts/common/io/nxge/nxge_send.c

1334

VERIFY((otcph->th_flags & (TH_SYN | TH_RST | TH_URG)) == 0);

usr/src/uts/common/io/nxge/nxge_send.c

1338

VERIFY(MBLKL(mp) >= hdrlen);

usr/src/uts/common/io/nxge/nxge_send.c

1402

VERIFY(segnum >= 2);

usr/src/uts/common/io/nxge/nxge_send.c

1543

VERIFY(cmp->b_next == NULL);

usr/src/uts/common/io/nxge/nxge_send.c

1544

VERIFY(left == 0);

usr/src/uts/common/io/overlay/overlay.c

1001

VERIFY(odd->odd_flags & OVERLAY_F_IN_MUX);

usr/src/uts/common/io/overlay/overlay.c

1002

VERIFY(!(odd->odd_flags & OVERLAY_F_MDDROP));

usr/src/uts/common/io/overlay/overlay.c

1014

VERIFY((odd->odd_flags & OVERLAY_F_STOPMASK) == 0);

usr/src/uts/common/io/overlay/overlay_fm.c

39

VERIFY(overlay_fm_count == 0);

usr/src/uts/common/io/overlay/overlay_plugin.c

80

VERIFY(list_is_empty(&overlay_plugin_list));

usr/src/uts/common/io/overlay/overlay_target.c

1541

VERIFY(thdl != NULL);

usr/src/uts/common/io/overlay/overlay_target.c

1559

VERIFY(overlay_target_excl == B_FALSE);

usr/src/uts/common/io/overlay/overlay_target.c

1647

VERIFY(overlay_target_excl == B_TRUE);

usr/src/uts/common/io/overlay/overlay_target.c

200

VERIFY(ret == 0);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc.c

1093

VERIFY(mpt->mpt_pkt != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc.c

1094

VERIFY(cmd != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc.c

1127

VERIFY(mpt->mpt_pkt != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc.c

1802

VERIFY(ua != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc.c

1921

VERIFY(lmrc != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc.c

1946

VERIFY(mfi != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc.c

1970

VERIFY(lmrc != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc.c

380

VERIFY(ddi_in_panic());

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc.c

467

VERIFY(pkt != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc.c

470

VERIFY(sd != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc.c

473

VERIFY(tgt != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc.h

84

VERIFY(!((_lmrc)->l_init_level & (name))); \

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc.h

90

VERIFY((_lmrc)->l_init_level & (name)); \

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_ddi.c

1036

VERIFY(list_is_empty(&lmrc->l_mpt_cmd_list));

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_ddi.c

1111

VERIFY(list_is_empty(&lmrc->l_mfi_cmd_list));

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_ddi.c

465

VERIFY(lmrc != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_ddi.c

986

VERIFY(IS_P2ALIGNED(&(((struct scsi_arq_status *)cmd->mpt_sense)

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_phys.c

287

VERIFY(lmrc == tgt->tgt_lmrc);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_phys.c

312

VERIFY(lmrc == tgt->tgt_lmrc);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_phys.c

444

VERIFY(tran != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_phys.c

445

VERIFY(lmrc != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_phys.c

480

VERIFY(lmrc != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_raid.c

355

VERIFY(lmrc == tgt->tgt_lmrc);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_raid.c

374

VERIFY(lmrc == tgt->tgt_lmrc);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_raid.c

722

VERIFY(tran != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_raid.c

723

VERIFY(lmrc != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_raid.c

760

VERIFY(lmrc != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_scsa.c

138

VERIFY(lmrc != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_scsa.c

195

VERIFY(lmrc != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_scsa.c

250

VERIFY(sd != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_scsa.c

253

VERIFY(tgt != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_scsa.c

256

VERIFY(cmd != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_scsa.c

258

VERIFY(cmd->sc_tgt == tgt);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_scsa.c

261

VERIFY(lmrc != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_scsa.c

275

VERIFY(mpt != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_scsa.c

364

VERIFY(ddi_in_panic());

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_scsa.c

505

VERIFY(lmrc != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_scsa.c

534

VERIFY(cmd != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_scsa.c

535

VERIFY(cmd->sc_tgt == tgt);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_scsa.c

538

VERIFY(mpt != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_scsa.c

566

VERIFY(lmrc != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_scsa.c

637

VERIFY(sa != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_scsa.c

640

VERIFY(sd != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_scsa.c

643

VERIFY(tgt != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_scsa.c

648

VERIFY(lmrc != NULL);

usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_scsa.c

83

VERIFY(lmrc != NULL);

usr/src/uts/common/io/scsi/adapters/mpt_sas/mptsas.c

11282

VERIFY(ret == B_TRUE);

usr/src/uts/common/io/scsi/adapters/smrt/smrt.c

185

VERIFY(addr != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt.c

189

VERIFY(smrt != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt.c

217

VERIFY(tran != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt.c

219

VERIFY(smrt != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt.c

222

VERIFY(addr != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt.c

317

VERIFY(smrt->smrt_sg_cnt > 0);

usr/src/uts/common/io/scsi/adapters/smrt/smrt.c

517

VERIFY(list_is_empty(&smrt->smrt_commands));

usr/src/uts/common/io/scsi/adapters/smrt/smrt.c

522

VERIFY(list_is_empty(&smrt->smrt_volumes));

usr/src/uts/common/io/scsi/adapters/smrt/smrt.c

525

VERIFY(list_is_empty(&smrt->smrt_physicals));

usr/src/uts/common/io/scsi/adapters/smrt/smrt.c

528

VERIFY(list_is_empty(&smrt->smrt_targets));

usr/src/uts/common/io/scsi/adapters/smrt/smrt.c

531

VERIFY(avl_is_empty(&smrt->smrt_inflight));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

1095

VERIFY(state == SMRT_WAIT_STATE_READY ||

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

1153

VERIFY(MUTEX_HELD(&smrt->smrt_mutex));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

1352

VERIFY(MUTEX_HELD(&smrt->smrt_mutex));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

1484

VERIFY(smcm_nop->smcm_status & SMRT_CMD_STATUS_INFLIGHT);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

1494

VERIFY(list_link_active(&smcm_nop->smcm_link_finish));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

1651

VERIFY(MUTEX_HELD(&smrt->smrt_mutex));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

459

VERIFY(MUTEX_HELD(&smrt->smrt_mutex));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

482

VERIFY(MUTEX_HELD(&smrt->smrt_mutex));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

520

VERIFY(MUTEX_HELD(&smrt->smrt_mutex));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

521

VERIFY(smcm->smcm_type != SMRT_CMDTYPE_PREINIT);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

528

VERIFY(smcm->smcm_status & SMRT_CMD_STATUS_POLLED);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

563

VERIFY(!(smcm->smcm_status & SMRT_CMD_STATUS_USED));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

586

VERIFY(!(smcm->smcm_status & SMRT_CMD_STATUS_INFLIGHT));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

619

VERIFY(!(smcm->smcm_status & SMRT_CMD_STATUS_COMPLETE));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

662

VERIFY(MUTEX_HELD(&smrt->smrt_mutex));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

721

VERIFY(MUTEX_HELD(&smrt->smrt_mutex));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

799

VERIFY(MUTEX_HELD(&smrt->smrt_mutex));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

800

VERIFY(smcm->smcm_status & SMRT_CMD_STATUS_POLLED);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

922

VERIFY(xport == CISS_CFGTBL_XPORT_SIMPLE);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

948

VERIFY(xport == CISS_CFGTBL_XPORT_SIMPLE);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss.c

957

VERIFY(xport == CISS_CFGTBL_XPORT_SIMPLE);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss_simple.c

138

VERIFY(smrt->smrt_ctlr_mode == SMRT_CTLR_MODE_SIMPLE);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss_simple.c

139

VERIFY(!(smrt->smrt_status & SMRT_CTLR_STATUS_RUNNING));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss_simple.c

140

VERIFY(smcm->smcm_type == SMRT_CMDTYPE_PREINIT);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss_simple.c

141

VERIFY(smcm->smcm_status & SMRT_CMD_STATUS_POLLED);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss_simple.c

195

VERIFY(smrt->smrt_ctlr_mode == SMRT_CTLR_MODE_UNKNOWN);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss_simple.c

274

VERIFY(smrt->smrt_ctlr_mode == SMRT_CTLR_MODE_SIMPLE);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss_simple.c

86

VERIFY(MUTEX_HELD(&smrt->smrt_mutex));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_commands.c

148

VERIFY(smdma->smdma_level == 0);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_commands.c

157

VERIFY(kmflags == KM_SLEEP || kmflags == KM_NOSLEEP);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_commands.c

236

VERIFY(type != SMRT_CMDTYPE_PREINIT);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_commands.c

258

VERIFY(kmflags == KM_SLEEP || kmflags == KM_NOSLEEP);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_commands.c

294

VERIFY(!(smcm->smcm_status & SMRT_CMD_STATUS_INFLIGHT));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_commands.c

301

VERIFY(!list_link_active(&smcm->smcm_link_abort));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_commands.c

302

VERIFY(!list_link_active(&smcm->smcm_link_finish));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_commands.c

322

VERIFY(!(smcm->smcm_status & SMRT_CMD_STATUS_INFLIGHT));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_commands.c

340

VERIFY(!list_link_active(&smcm->smcm_link_abort));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_commands.c

341

VERIFY(!list_link_active(&smcm->smcm_link_finish));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_commands.c

356

VERIFY(MUTEX_HELD(&smrt->smrt_mutex));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_commands.c

79

VERIFY(kmflags == KM_SLEEP || kmflags == KM_NOSLEEP);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

1161

VERIFY(sd != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

1163

VERIFY(smtg != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

1165

VERIFY(smrt != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

1331

VERIFY(scsi_hba_detach(smrt->smrt_dip) != DDI_FAILURE);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

135

VERIFY(sd->sd_dev == tgt_dip);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

153

VERIFY(smtg->smtg_scsi_dev == sd);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

154

VERIFY(smtg->smtg_physical == B_FALSE);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

247

VERIFY(sd->sd_dev == tgt_dip);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

266

VERIFY(smtg->smtg_scsi_dev == sd);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

267

VERIFY(smtg->smtg_physical == B_TRUE);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

303

VERIFY(sd != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

305

VERIFY(smtg != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

307

VERIFY(smrt != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

454

VERIFY(sd != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

456

VERIFY(smtg != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

458

VERIFY(smrt != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

460

VERIFY(smcms != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

462

VERIFY(smcm != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

672

VERIFY(sd != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

674

VERIFY(smtg != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

744

VERIFY(smcm->smcm_status & SMRT_CMD_STATUS_COMPLETE);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

801

VERIFY(sd != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

803

VERIFY(smtg != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

805

VERIFY(smrt != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c

997

VERIFY(MUTEX_HELD(&smrt->smrt_mutex));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_interrupts.c

87

VERIFY(!(smrt->smrt_init_level & SMRT_INITLEVEL_INT_ENABLED));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_logvol.c

112

VERIFY(MUTEX_HELD(&smrt->smrt_mutex));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_logvol.c

25

VERIFY(list_is_empty(&smlv->smlv_targets));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_logvol.c

321

VERIFY(type == SCSI_TGT_SCSI_DEVICE);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_logvol.c

327

VERIFY(smrt_logvol_lookup_by_id(smrt, volume) != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_logvol.c

34

VERIFY(MUTEX_HELD(&smrt->smrt_mutex));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_logvol.c

341

VERIFY(type == SCSI_TGT_SCSI_DEVICE);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_logvol.c

342

VERIFY(priv == NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_logvol.c

350

VERIFY(smlv != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_logvol.c

53

VERIFY(MUTEX_HELD(&smrt->smrt_mutex));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_physical.c

21

VERIFY(list_is_empty(&smpt->smpt_targets));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_physical.c

22

VERIFY(smpt->smpt_info != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_physical.c

230

VERIFY(MUTEX_HELD(&smrt->smrt_mutex));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_physical.c

569

VERIFY(smpt != NULL);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_physical.c

570

VERIFY(smpt->smpt_supported);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_physical.c

571

VERIFY(smpt->smpt_visible);

usr/src/uts/common/io/scsi/adapters/smrt/smrt_physical.c

63

VERIFY(MUTEX_HELD(&smrt->smrt_mutex));

usr/src/uts/common/io/scsi/adapters/smrt/smrt_physical.c

99

VERIFY(MUTEX_HELD(&smrt->smrt_mutex));

usr/src/uts/common/io/signalfd.c

197

VERIFY(list_is_empty(&pstate->sigfd_list));

usr/src/uts/common/io/signalfd.c

210

VERIFY(sp->sp_pollev != 0);

usr/src/uts/common/io/signalfd.c

211

VERIFY(sp->sp_pending);

usr/src/uts/common/io/softmac/softmac_dev.c

690

VERIFY((sup->su_tx_flow_mp = getq(wq)) != NULL);

usr/src/uts/common/io/softmac/softmac_fp.c

1207

VERIFY(softmac_datapath_switch((softmac_t *)arg, B_FALSE,

usr/src/uts/common/io/softmac/softmac_fp.c

830

VERIFY(taskq_dispatch(system_taskq,

usr/src/uts/common/io/softmac/softmac_fp.c

941

VERIFY((sup->su_tx_flow_mp = getq(sup->su_wq)) != NULL);

usr/src/uts/common/io/softmac/softmac_main.c

1056

VERIFY(mac_unregister(smac_mh) == 0);

usr/src/uts/common/io/timerfd.c

422

VERIFY(*sp != NULL);

usr/src/uts/common/io/timerfd.c

77

VERIFY(it == &state->tfd_itimer);

usr/src/uts/common/io/timerfd.c

78

VERIFY(it->it_lock & ITLK_LOCKED);

usr/src/uts/common/io/ufm.c

182

VERIFY(ufmh != NULL);

usr/src/uts/common/io/usb/clients/ccid/ccid.c

1001

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

1017

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

1072

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

1096

VERIFY(MUTEX_HELD(&cc->cc_ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

1105

VERIFY(MUTEX_HELD(&cc->cc_ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

1153

VERIFY(ubrp->bulk_data != NULL);

usr/src/uts/common/io/usb/clients/ccid/ccid.c

1321

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

1348

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

1371

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

1404

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

1524

VERIFY(cc->cc_state == CCID_COMMAND_ALLOCATED ||

usr/src/uts/common/io/usb/clients/ccid/ccid.c

1733

VERIFY(list_link_active(&cc->cc_list_node));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

2082

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

2133

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

2153

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

2271

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

2326

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

2355

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

2430

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

2455

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

2456

VERIFY(slot->cs_flags & CCID_SLOT_F_NEED_TXN_RESET);

usr/src/uts/common/io/usb/clients/ccid/ccid.c

2457

VERIFY(ccid->ccid_flags & CCID_F_WORKER_RUNNING);

usr/src/uts/common/io/usb/clients/ccid/ccid.c

2514

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

2546

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

2563

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

2602

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

3535

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

3557

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

3587

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

3654

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

800

VERIFY(MUTEX_HELD(&slot->cs_ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

820

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

891

VERIFY(MUTEX_HELD(&slot->cs_ccid->ccid_mutex));

usr/src/uts/common/io/usb/clients/ccid/ccid.c

894

VERIFY((cmp->cm_flags & CCID_MINOR_F_HAS_EXCL) != 0);

usr/src/uts/common/io/usb/clients/ccid/ccid.c

972

VERIFY(MUTEX_HELD(&ccid->ccid_mutex));

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

148

VERIFY(xcr->xcr_timeout == 0);

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

335

VERIFY(xco != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

448

VERIFY(xcr->xcr_timeout == 0);

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

477

VERIFY(xhcip != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

478

VERIFY(slotp != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

522

VERIFY(xhcip != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

553

VERIFY(xhcip != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

554

VERIFY(xd != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

589

VERIFY(xhcip != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

590

VERIFY(xd != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

637

VERIFY(xhcip != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

638

VERIFY(xd != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

681

VERIFY(xhcip != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

682

VERIFY(xd != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

683

VERIFY(xep != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

740

VERIFY(xhcip != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

741

VERIFY(xd != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

742

VERIFY(xep != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

802

VERIFY(xhcip != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

803

VERIFY(xd != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_command.c

804

VERIFY(xep != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_context.c

217

VERIFY(xd->xd_slot > 0 &&

usr/src/uts/common/io/usb/hcd/xhci/xhci_context.c

239

VERIFY(xd->xd_slot > 0 &&

usr/src/uts/common/io/usb/hcd/xhci/xhci_dma.c

175

VERIFY(xdb->xdb_dma_handle != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_dma.c

269

VERIFY(xhcip != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_dma.c

465

VERIFY(xt->xt_buffer.xdb_ncookies > 0);

usr/src/uts/common/io/usb/hcd/xhci/xhci_dma.c

466

VERIFY(xep->xep_pipe != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_dma.c

467

VERIFY(off + xt->xt_buffer.xdb_ncookies <= xt->xt_ntrbs);

usr/src/uts/common/io/usb/hcd/xhci/xhci_dma.c

550

VERIFY(off + xt->xt_buffer.xdb_ncookies + 1 <= xt->xt_ntrbs);

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

110

VERIFY(MUTEX_HELD(&xhcip->xhci_lock));

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

112

VERIFY(list_is_empty(&xep->xep_transfers));

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

114

VERIFY(xep->xep_pipe != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

117

VERIFY(xep->xep_state & XHCI_ENDPOINT_OPEN);

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

1333

VERIFY(xhci_ring_trb_consumed(&xep->xep_ring, LE_64(trb->trb_addr)));

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

134

VERIFY(MUTEX_HELD(&xhcip->xhci_lock));

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

136

VERIFY(!(xep->xep_state & XHCI_ENDPOINT_OPEN));

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

137

VERIFY(xep->xep_state & XHCI_ENDPOINT_TEARDOWN);

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

143

VERIFY(xep->xep_type == USB_EP_ATTR_INTR ||

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

1507

VERIFY(xhci_ring_trb_consumed(&xep->xep_ring, xt->xt_trbs_pa[off]));

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

1557

VERIFY(xhci_ring_trb_consumed(&xep->xep_ring, LE_64(trb->trb_addr)));

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

183

VERIFY(xep != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

192

VERIFY(!(xep->xep_state & XHCI_ENDPOINT_OPEN));

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

215

VERIFY(ectx != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

589

VERIFY(ectx != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

590

VERIFY(xd->xd_usbdev->usb_dev_descr != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

591

VERIFY(xep->xep_pipe != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

700

VERIFY(xep->xep_params.xepp_configured);

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

729

VERIFY(xd->xd_endpoints[epid] == NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

787

VERIFY(MUTEX_HELD(&xhcip->xhci_lock));

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

788

VERIFY(ph != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

79

VERIFY(ep < XHCI_NUM_ENDPOINTS);

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

804

VERIFY(xep->xep_state & XHCI_ENDPOINT_TEARDOWN);

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

808

VERIFY(list_is_empty(&xep->xep_transfers));

usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c

834

VERIFY(MUTEX_HELD(&xhcip->xhci_lock));

usr/src/uts/common/io/usb/hcd/xhci/xhci_polled.c

171

VERIFY(xhci_ring_trb_consumed(&xep->xep_ring, LE_64(trb->trb_addr)));

usr/src/uts/common/io/usb/hcd/xhci/xhci_polled.c

206

VERIFY(xhcip->xhci_event.xev_segs != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_polled.c

370

VERIFY(xhci_polledp != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_polled.c

409

VERIFY(xhci_polledp != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_polled.c

417

VERIFY(xhci_polledp->xhci_polled_entry > 0);

usr/src/uts/common/io/usb/hcd/xhci/xhci_ring.c

189

VERIFY(xrp->xr_tail < xrp->xr_ntrb);

usr/src/uts/common/io/usb/hcd/xhci/xhci_ring.c

235

VERIFY(range < xrp->xr_ntrb);

usr/src/uts/common/io/usb/hcd/xhci/xhci_ring.c

266

VERIFY(ntrb > 0);

usr/src/uts/common/io/usb/hcd/xhci/xhci_ring.c

268

VERIFY(ntrb < xrp->xr_ntrb);

usr/src/uts/common/io/usb/hcd/xhci/xhci_ring.c

353

VERIFY(ntrb > 0);

usr/src/uts/common/io/usb/hcd/xhci/xhci_ring.c

419

VERIFY(dma < xrp->xr_ntrb);

usr/src/uts/common/io/usb/hcd/xhci/xhci_usba.c

123

VERIFY(xep != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_usba.c

124

VERIFY(xep->xep_pipe == NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_usba.c

140

VERIFY(xd->xd_addressed == B_TRUE);

usr/src/uts/common/io/usb/hcd/xhci/xhci_usba.c

1961

VERIFY(ops != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_usba.c

35

VERIFY(xhcip != NULL);

usr/src/uts/common/io/usb/hcd/xhci/xhci_usba.c

545

VERIFY(xp != NULL);

usr/src/uts/common/io/vio9p/vio9p.c

162

VERIFY(!list_link_active(&vnr->vnr_link_complete));

usr/src/uts/common/io/vio9p/vio9p.c

163

VERIFY(!list_link_active(&vnr->vnr_link_free));

usr/src/uts/common/io/vio9p/vio9p.c

179

VERIFY(MUTEX_HELD(&vin->vin_mutex));

usr/src/uts/common/io/vio9p/vio9p.c

204

VERIFY(!list_link_active(&vnr->vnr_link_complete));

usr/src/uts/common/io/vio9p/vio9p.c

205

VERIFY(!list_link_active(&vnr->vnr_link_free));

usr/src/uts/common/io/vio9p/vio9p.c

223

VERIFY(MUTEX_HELD(&vin->vin_mutex));

usr/src/uts/common/io/vio9p/vio9p.c

343

VERIFY(MUTEX_HELD(&vin->vin_mutex));

usr/src/uts/common/io/vio9p/vio9p.c

485

VERIFY(MUTEX_NOT_HELD(&vin->vin_mutex));

usr/src/uts/common/io/vio9p/vio9p.c

508

VERIFY(list_is_empty(&vin->vin_req_freelist));

usr/src/uts/common/io/vio9p/vio9p.c

516

VERIFY(list_is_empty(&vin->vin_reqs));

usr/src/uts/common/io/vio9p/vio9p.c

519

VERIFY(list_is_empty(&vin->vin_completes));

usr/src/uts/common/io/vio9p/vio9p.c

555

VERIFY(!vin->vin_open);

usr/src/uts/common/io/vioblk/vioblk.c

159

VERIFY(MUTEX_HELD(&vib->vib_mutex));

usr/src/uts/common/io/vioblk/vioblk.c

179

VERIFY(MUTEX_HELD(&vib->vib_mutex));

usr/src/uts/common/io/vioblk/vioblk.c

185

VERIFY(vbr->vbr_status & VIOBLK_REQSTAT_ALLOCATED);

usr/src/uts/common/io/vioblk/vioblk.c

202

VERIFY(MUTEX_HELD(&vib->vib_mutex));

usr/src/uts/common/io/vioblk/vioblk.c

204

VERIFY(!(vbr->vbr_status & VIOBLK_REQSTAT_COMPLETE));

usr/src/uts/common/io/vioblk/vioblk.c

269

VERIFY(MUTEX_HELD(&vib->vib_mutex));

usr/src/uts/common/io/vioblk/vioblk.c

328

VERIFY(MUTEX_HELD(&vib->vib_mutex));

usr/src/uts/common/io/vioblk/vioblk.c

404

VERIFY(MUTEX_HELD(&vib->vib_mutex));

usr/src/uts/common/io/vioblk/vioblk.c

684

VERIFY(MUTEX_HELD(&vib->vib_mutex));

usr/src/uts/common/io/vioblk/vioblk.c

720

VERIFY(!(vbr->vbr_status &

usr/src/uts/common/io/vioblk/vioblk.c

795

VERIFY(list_link_active(&vbr->vbr_link));

usr/src/uts/common/io/vioblk/vioblk.c

809

VERIFY(list_is_empty(&vib->vib_reqs));

usr/src/uts/common/io/vioif/vioif.c

1071

VERIFY(MUTEX_HELD(&vif->vif_mutex));

usr/src/uts/common/io/vioif/vioif.c

1072

VERIFY(!vif->vif_tx_drain);

usr/src/uts/common/io/vioif/vioif.c

1083

VERIFY(MUTEX_HELD(&vif->vif_mutex));

usr/src/uts/common/io/vioif/vioif.c

1115

VERIFY(!vif->vif_tx_corked);

usr/src/uts/common/io/vioif/vioif.c

1123

VERIFY(MUTEX_NOT_HELD(&vif->vif_mutex));

usr/src/uts/common/io/vioif/vioif.c

1144

VERIFY(MUTEX_NOT_HELD(&vif->vif_mutex));

usr/src/uts/common/io/vioif/vioif.c

1233

VERIFY(MUTEX_NOT_HELD(&vif->vif_mutex));

usr/src/uts/common/io/vioif/vioif.c

1841

VERIFY(MUTEX_HELD(&vif->vif_mutex));

usr/src/uts/common/io/vioif/vioif.c

1885

VERIFY(MUTEX_HELD(&vif->vif_mutex));

usr/src/uts/common/io/vioif/vioif.c

1962

VERIFY(MUTEX_HELD(&vif->vif_mutex));

usr/src/uts/common/io/vioif/vioif.c

267

VERIFY(MUTEX_HELD(&vif->vif_mutex));

usr/src/uts/common/io/vioif/vioif.c

279

VERIFY(MUTEX_HELD(&vif->vif_mutex));

usr/src/uts/common/io/vioif/vioif.c

293

VERIFY(MUTEX_HELD(&vif->vif_mutex));

usr/src/uts/common/io/vioif/vioif.c

305

VERIFY(MUTEX_HELD(&vif->vif_mutex));

usr/src/uts/common/io/vioif/vioif.c

346

VERIFY(MUTEX_HELD(&vif->vif_mutex));

usr/src/uts/common/io/vioif/vioif.c

358

VERIFY(MUTEX_HELD(&vif->vif_mutex));

usr/src/uts/common/io/vioif/vioif.c

370

VERIFY(MUTEX_HELD(&vif->vif_mutex));

usr/src/uts/common/io/vioif/vioif.c

379

VERIFY(list_link_active(&tb->tb_link));

usr/src/uts/common/io/vioif/vioif.c

412

VERIFY(list_is_empty(&vif->vif_txbufs));

usr/src/uts/common/io/vioif/vioif.c

427

VERIFY(list_link_active(&rb->rb_link));

usr/src/uts/common/io/vioif/vioif.c

440

VERIFY(list_is_empty(&vif->vif_rxbufs));

usr/src/uts/common/io/vioif/vioif.c

456

VERIFY(list_link_active(&cb->cb_link));

usr/src/uts/common/io/vioif/vioif.c

469

VERIFY(list_is_empty(&vif->vif_ctrlbufs));

usr/src/uts/common/io/vioif/vioif.c

483

VERIFY(MUTEX_HELD(&vif->vif_mutex));

usr/src/uts/common/io/vioif/vioif.c

657

VERIFY(vif->vif_has_ctrlq);

usr/src/uts/common/io/vioif/vioif.c

797

VERIFY(MUTEX_HELD(&vif->vif_mutex));

usr/src/uts/common/io/vioif/vioif.c

863

VERIFY(MUTEX_HELD(&vif->vif_mutex));

usr/src/uts/common/io/vioif/vioif.c

986

VERIFY(MUTEX_NOT_HELD(&vif->vif_mutex));

usr/src/uts/common/io/virtio/virtio_dma.c

182

VERIFY(vidma->vidma_level & VIRTIO_DMALEVEL_HANDLE_ALLOC);

usr/src/uts/common/io/virtio/virtio_dma.c

183

VERIFY(!(vidma->vidma_level & VIRTIO_DMALEVEL_HANDLE_BOUND));

usr/src/uts/common/io/virtio/virtio_legacy.c

195

VERIFY(MUTEX_HELD(&vio->vio_mutex));

usr/src/uts/common/io/virtio/virtio_legacy.c

210

VERIFY(MUTEX_HELD(&vio->vio_mutex));

usr/src/uts/common/io/virtio/virtio_main.c

1007

VERIFY(avl_is_empty(&viq->viq_inflight));

usr/src/uts/common/io/virtio/virtio_main.c

1039

VERIFY(MUTEX_HELD(&viq->viq_mutex));

usr/src/uts/common/io/virtio/virtio_main.c

1144

VERIFY(viq->viq_shutdown);

usr/src/uts/common/io/virtio/virtio_main.c

1353

VERIFY(MUTEX_HELD(&viq->viq_mutex));

usr/src/uts/common/io/virtio/virtio_main.c

1442

VERIFY(MUTEX_HELD(&viq->viq_mutex));

usr/src/uts/common/io/virtio/virtio_main.c

1541

VERIFY(MUTEX_HELD(&vio->vio_mutex));

usr/src/uts/common/io/virtio/virtio_main.c

1542

VERIFY(!(vio->vio_initlevel & VIRTIO_INITLEVEL_INT_ALLOC));

usr/src/uts/common/io/virtio/virtio_main.c

1820

VERIFY(MUTEX_HELD(&vio->vio_mutex));

usr/src/uts/common/io/virtio/virtio_main.c

1901

VERIFY(MUTEX_HELD(&vio->vio_mutex));

usr/src/uts/common/io/virtio/virtio_main.c

2045

VERIFY(MUTEX_HELD(&vio->vio_mutex));

usr/src/uts/common/io/virtio/virtio_main.c

411

VERIFY(!(vio->vio_initlevel & VIRTIO_INITLEVEL_INT_ADDED));

usr/src/uts/common/io/virtio/virtio_main.c

412

VERIFY(!vio->vio_cfgchange_handler_added);

usr/src/uts/common/io/virtio/virtio_main.c

429

VERIFY(!(vio->vio_initlevel & VIRTIO_INITLEVEL_PROVIDER));

usr/src/uts/common/io/virtio/virtio_main.c

505

VERIFY(vio->vio_initlevel & VIRTIO_INITLEVEL_INT_ADDED);

usr/src/uts/common/io/virtio/virtio_main.c

523

VERIFY(cap->vpc_type);

usr/src/uts/common/io/virtio/virtio_main.c

992

VERIFY(!(vio->vio_initlevel & VIRTIO_INITLEVEL_INT_ADDED));

usr/src/uts/common/io/virtio/virtio_modern.c

229

VERIFY(MUTEX_HELD(&vio->vio_mutex));

usr/src/uts/common/io/virtio/virtio_modern.c

244

VERIFY(MUTEX_HELD(&vio->vio_mutex));

usr/src/uts/common/io/vnic/vnic_dev.c

1094

VERIFY(mac_mtu_remove(vn->vn_lower_mh,

usr/src/uts/common/io/vnic/vnic_dev.c

523

VERIFY(mac_margin_remove(vnic->vn_lower_mh,

usr/src/uts/common/io/vnic/vnic_dev.c

544

VERIFY(mac_mtu_remove(vnic->vn_lower_mh,

usr/src/uts/common/io/vnic/vnic_dev.c

546

VERIFY(mac_margin_remove(vnic->vn_lower_mh,

usr/src/uts/common/io/vnic/vnic_dev.c

563

VERIFY(mac_mtu_remove(vnic->vn_lower_mh,

usr/src/uts/common/io/vnic/vnic_dev.c

565

VERIFY(mac_margin_remove(vnic->vn_lower_mh,

usr/src/uts/common/io/vnic/vnic_dev.c

576

VERIFY(mac_mtu_remove(vnic->vn_lower_mh,

usr/src/uts/common/io/vnic/vnic_dev.c

578

VERIFY(mac_margin_remove(vnic->vn_lower_mh,

usr/src/uts/common/io/zcons.c

362

VERIFY((zcs = ddi_get_soft_state(zc_soft_state, instance)) != NULL);

usr/src/uts/common/klm/nlm_client.c

1194

VERIFY(fl->l_whence == SEEK_SET);

usr/src/uts/common/klm/nlm_client.c

696

VERIFY(fl->l_whence == SEEK_SET);

usr/src/uts/common/klm/nlm_client.c

722

VERIFY(fl->l_whence == SEEK_SET);

usr/src/uts/common/klm/nlm_impl.c

1032

VERIFY(mod_hash_insert(hostp->nh_vholds_by_vp,

usr/src/uts/common/klm/nlm_impl.c

1094

VERIFY(mod_hash_remove(hostp->nh_vholds_by_vp,

usr/src/uts/common/klm/nlm_impl.c

1209

VERIFY(mod_hash_remove(g->nlm_hosts_hash,

usr/src/uts/common/klm/nlm_impl.c

1592

VERIFY(0);

usr/src/uts/common/klm/nlm_impl.c

1755

VERIFY(mod_hash_insert(g->nlm_hosts_hash,

usr/src/uts/common/klm/nlm_impl.c

1872

VERIFY(host->nh_refs == 0);

usr/src/uts/common/klm/nlm_impl.c

2065

VERIFY(nslp->nsl_state == NLM_SL_GRANTED);

usr/src/uts/common/klm/nlm_impl.c

2388

VERIFY(g->run_status == NLM_ST_STARTING);

usr/src/uts/common/klm/nlm_impl.c

2389

VERIFY(g->nlm_gc_thread == NULL);

usr/src/uts/common/klm/nlm_impl.c

2879

VERIFY(0);

usr/src/uts/common/os/contract.c

2072

VERIFY(q->ctq_listno == CTEL_CONTRACT);

usr/src/uts/common/os/contract.c

2073

VERIFY(newq->ctq_listno == CTEL_PBUNDLE);

usr/src/uts/common/os/contract.c

2134

VERIFY(MUTEX_HELD(&q->ctq_lock));

usr/src/uts/common/os/contract.c

2275

VERIFY(!list_link_active((list_node_t *)

usr/src/uts/common/os/contract.c

2584

VERIFY(nvlist_size(temp->cte_data, &size,

usr/src/uts/common/os/contract.c

2589

VERIFY(nvlist_size(temp->cte_gdata, &gsize,

usr/src/uts/common/os/contract.c

2603

VERIFY(nvlist_pack(temp->cte_data, &buf, &size,

usr/src/uts/common/os/contract.c

2608

VERIFY(nvlist_pack(temp->cte_gdata, &tmp,

usr/src/uts/common/os/contract.c

352

VERIFY(avl_find(&author->p_ct_held, ct, &where) == NULL);

usr/src/uts/common/os/contract.c

360

VERIFY(avl_find(&contract_avl, ct, &where) == NULL);

usr/src/uts/common/os/contract.c

368

VERIFY(avl_find(&type->ct_type_avl, ct, &where) == NULL);

usr/src/uts/common/os/contract.c

503

VERIFY(p == curproc);

usr/src/uts/common/os/contract.c

553

VERIFY(ct->ct_regent == parent);

usr/src/uts/common/os/contract.c

647

VERIFY(avl_find(&p->p_ct_held, ct, &where) == NULL);

usr/src/uts/common/os/contract.c

930

VERIFY(contract_abandon(ct, p, 0) == 0);

usr/src/uts/common/os/cpu.c

2771

VERIFY(cpu < NCPU);

usr/src/uts/common/os/cpu.c

2778

VERIFY(cpu < NCPU);

usr/src/uts/common/os/cpu.c

2785

VERIFY(cpu < NCPU);

usr/src/uts/common/os/cpu.c

2881

VERIFY(cpu < NCPU);

usr/src/uts/common/os/cpu.c

2888

VERIFY(cpu < NCPU);

usr/src/uts/common/os/cpu.c

2897

VERIFY(cpu < NCPU);

usr/src/uts/common/os/cpu.c

2907

VERIFY(cpu < NCPU);

usr/src/uts/common/os/cpu.c

437

VERIFY((cpu_id >= 0) && (cpu_id < NCPU));

usr/src/uts/common/os/cpu.c

441

VERIFY(cp != NULL);

usr/src/uts/common/os/cpu_uarray.c

38

VERIFY(IS_P2ALIGNED(cua->cu_vals, CUA_ALIGN));

usr/src/uts/common/os/cyclic.c

2043

VERIFY(cyclic_reprogram_cyclic(arg->cyx_cpu, arg->cyx_ndx,

usr/src/uts/common/os/ddi_periodic.c

142

VERIFY((dpr->dpr_flags & (DPF_DISPATCHED | DPF_EXECUTING)) ==

usr/src/uts/common/os/ddi_periodic.c

144

VERIFY(dpr->dpr_thread == NULL);

usr/src/uts/common/os/ddi_periodic.c

184

VERIFY(level >= PERI_IPL_1 && level <= PERI_IPL_10);

usr/src/uts/common/os/ddi_periodic.c

307

VERIFY(!(dpr->dpr_flags & DPF_EXECUTING));

usr/src/uts/common/os/ddi_periodic.c

349

VERIFY(dpr->dpr_flags == DPF_CANCELLED);

usr/src/uts/common/os/ddi_periodic.c

350

VERIFY(dpr->dpr_thread == NULL);

usr/src/uts/common/os/ddi_periodic.c

386

VERIFY(func != NULL);

usr/src/uts/common/os/ddi_periodic.c

387

VERIFY(level >= 0 && level <= 10);

usr/src/uts/common/os/ddi_periodic.c

480

VERIFY(!(dpr->dpr_flags & DPF_CANCELLED));

usr/src/uts/common/os/ddi_ufm.c

389

VERIFY(version != 0 && ufmops != NULL);

usr/src/uts/common/os/ddi_ufm.c

390

VERIFY(ufmops->ddi_ufm_op_fill_image != NULL &&

usr/src/uts/common/os/ddi_ufm.c

456

VERIFY(ufmh != NULL);

usr/src/uts/common/os/ddi_ufm.c

467

VERIFY(ufmh != NULL);

usr/src/uts/common/os/ddi_ufm.c

482

VERIFY(uip != NULL && desc != NULL);

usr/src/uts/common/os/ddi_ufm.c

492

VERIFY(uip != NULL);

usr/src/uts/common/os/ddi_ufm.c

499

VERIFY(uip != NULL && misc != NULL);

usr/src/uts/common/os/ddi_ufm.c

507

VERIFY(usp != NULL && version != NULL);

usr/src/uts/common/os/ddi_ufm.c

517

VERIFY(usp != NULL && attr <= DDI_UFM_ATTR_MAX);

usr/src/uts/common/os/ddi_ufm.c

524

VERIFY(usp != NULL && misc != NULL);

usr/src/uts/common/os/driver_lyr.c

1348

VERIFY(csp->s_count >= 1);

usr/src/uts/common/os/driver_lyr.c

1374

VERIFY(!(sp->s_flag & SMUXED));

usr/src/uts/common/os/driver_lyr.c

1433

VERIFY(sp->s_flag & SMUXED);

usr/src/uts/common/os/driver_lyr.c

3359

VERIFY(ldi_ev_callback_list.le_walker_next == NULL);

usr/src/uts/common/os/driver_lyr.c

3419

VERIFY(ldi_ev_callback_list.le_walker_prev == NULL);

usr/src/uts/common/os/driver_lyr.c

3588

VERIFY(ldi_ev_callback_list.le_walker_next == NULL);

usr/src/uts/common/os/driver_lyr.c

3724

VERIFY(found == NULL);

usr/src/uts/common/os/exec.c

2192

VERIFY((curproc->p_usrstack - (size + sp_slew)) < curproc->p_usrstack);

usr/src/uts/common/os/exit.c

582

VERIFY(sigfd_exit_helper != NULL);

usr/src/uts/common/os/flock.c

311

VERIFY(lckdat->l_whence == 0);

usr/src/uts/common/os/flock.c

312

VERIFY(lckdat->l_start == 0);

usr/src/uts/common/os/flock.c

313

VERIFY(lckdat->l_len == 0);

usr/src/uts/common/os/kmem.c

4963

VERIFY(avl_find(&cp->cache_defrag->kmd_moves_pending,

usr/src/uts/common/os/lwp.c

83

VERIFY((p->p_flag & SSYS) != 0);

usr/src/uts/common/os/lwp.c

87

VERIFY(lwp != NULL);

usr/src/uts/common/os/netstack.c

356

VERIFY(stackid == GLOBAL_NETSTACKID);

usr/src/uts/common/os/pid.c

180

VERIFY(minpid == 0);

usr/src/uts/common/os/taskq.c

1206

VERIFY(b >= tq->tq_buckets && b < idleb);

usr/src/uts/common/os/vm_pageout.c

1075

VERIFY(pageout_sampling);

usr/src/uts/common/os/zone.c

2897

VERIFY(ref->zref_zone == NULL);

usr/src/uts/common/os/zone.c

4144

VERIFY(contract_abandon(ct, curproc, B_TRUE) == 0);

usr/src/uts/common/syscall/corectl.c

228

VERIFY((cg = zone_getspecific(core_zone_key, curproc->p_zone)) != NULL);

usr/src/uts/common/syscall/poll.c

2530

VERIFY(ps != NULL);

usr/src/uts/common/syscall/poll.c

2531

VERIFY(ps->ps_pc_stack[ps->ps_depth - 1] == pcp);

usr/src/uts/common/syscall/poll.c

2535

VERIFY(ps->ps_depth >= 0);

usr/src/uts/common/vm/seg_umap.c

151

VERIFY(seg != NULL);

usr/src/uts/common/vm/seg_umap.c

152

VERIFY(seg->s_base + seg->s_size >= kaddr + len);

usr/src/uts/common/vm/seg_umap.c

153

VERIFY(seg->s_ops == &segkmem_ops);

usr/src/uts/common/vm/seg_umap.c

209

VERIFY(data->sud_softlockcnt == 0);

usr/src/uts/common/vm/seg_umap.c

233

VERIFY(sud->sud_softlockcnt >= plen);

usr/src/uts/common/vm/seg_umap.c

255

VERIFY(pfn != PFN_INVALID);

usr/src/uts/common/vm/vm_anon.c

1687

VERIFY(behav == MADV_FREE || behav == MADV_PURGE);

usr/src/uts/common/xen/io/xdf.c

2161

VERIFY((i = i_xdf_hvm_find(NULL, dip)) != NULL);

usr/src/uts/common/xen/io/xdf.c

587

VERIFY(ddi_dma_getwin(vreq->v_dmahdl, vreq->v_dmaw, &off, &sz,

usr/src/uts/common/xen/io/xnf.c

1342

VERIFY(tidp != NULL);

usr/src/uts/common/xen/io/xnf.c

1678

VERIFY(tidp != NULL);

usr/src/uts/common/xen/io/xnf.c

746

VERIFY(bdesc != NULL);

usr/src/uts/i86pc/io/immu_dvma.c

2131

VERIFY(j >= 0);

usr/src/uts/i86pc/os/startup.c

634

VERIFY(snprintf(sym, sizeof (sym), "_smap_enable_patch_%d", i) <

usr/src/uts/i86pc/os/startup.c

637

VERIFY(instp != 0);

usr/src/uts/i86pc/os/startup.c

645

VERIFY(snprintf(sym, sizeof (sym), "_smap_disable_patch_%d",

usr/src/uts/i86pc/os/startup.c

648

VERIFY(instp != 0);

usr/src/uts/i86pc/os/timestamp.c

1138

VERIFY(tsc_freq > 0);

usr/src/uts/i86pc/vm/htable.c

1737

VERIFY(!IN_VA_HOLE(va));

usr/src/uts/intel/io/amdzen/amdzen.c

2843

VERIFY(list_is_empty(&amdzen_data->azn_df_stubs));

usr/src/uts/intel/io/amdzen/amdzen.c

2845

VERIFY(list_is_empty(&amdzen_data->azn_nb_stubs));

usr/src/uts/intel/io/amdzen/amdzen.c

290

VERIFY(df_reg_valid(df_rev, def));

usr/src/uts/intel/io/amdzen/amdzen.c

292

VERIFY(MUTEX_HELD(&azn->azn_mutex));

usr/src/uts/intel/io/amdzen/amdzen.c

346

VERIFY(MUTEX_HELD(&azn->azn_mutex));

usr/src/uts/intel/io/amdzen/amdzen.c

353

VERIFY(MUTEX_HELD(&azn->azn_mutex));

usr/src/uts/intel/io/amdzen/amdzen.c

363

VERIFY(SMN_REG_IS_NATURALLY_ALIGNED(reg));

usr/src/uts/intel/io/amdzen/amdzen.c

364

VERIFY(MUTEX_HELD(&azn->azn_mutex));

usr/src/uts/intel/io/amdzen/amdzen.c

389

VERIFY(SMN_REG_IS_NATURALLY_ALIGNED(reg));

usr/src/uts/intel/io/amdzen/amdzen.c

390

VERIFY(SMN_REG_VALUE_FITS(reg, val));

usr/src/uts/intel/io/amdzen/amdzen.c

391

VERIFY(MUTEX_HELD(&azn->azn_mutex));

usr/src/uts/intel/io/hotplug/pcicfg/pcicfg.c

4329

VERIFY(ndi_devi_offline(new_child, NDI_NO_EVENT|NDI_UNCONFIG)

usr/src/uts/intel/io/imc/imc.c

2932

VERIFY(avl_is_empty(&imc_data->imc_stubs));

usr/src/uts/intel/io/viona/viona_hook.c

305

VERIFY(netid != -1);

usr/src/uts/intel/io/viona/viona_hook.c

337

VERIFY(nid == nip->vni_netid);

usr/src/uts/intel/io/viona/viona_hook.c

358

VERIFY(nid == nip->vni_netid);

usr/src/uts/intel/io/viona/viona_hook.c

365

VERIFY(!list_link_active(&nip->vni_node));

usr/src/uts/intel/io/viona/viona_hook.c

418

VERIFY(viona_neti != NULL);

usr/src/uts/intel/io/viona/viona_main.c

1119

VERIFY(!on_close);

usr/src/uts/intel/io/viona/viona_main.c

1487

VERIFY(err == 0 || err == ENOENT);

usr/src/uts/intel/io/viona/viona_main.c

1623

VERIFY(nvl != NULL);

usr/src/uts/intel/io/viona/viona_main.c

517

VERIFY(old_dip != NULL);

usr/src/uts/intel/io/viona/viona_main.c

584

VERIFY(!list_link_active(&ss->ss_node));

usr/src/uts/intel/io/viona/viona_ring.c

407

VERIFY(ring->vr_state_flags == 0);

usr/src/uts/intel/io/viona/viona_rx.c

82

VERIFY(mp != NULL && mp->b_cont == NULL);

usr/src/uts/intel/io/viona/viona_tx.c

636

VERIFY(MBLKTAIL(mp) >= pkt_size);

usr/src/uts/intel/io/viona/viona_tx.c

637

VERIFY(iov_bunch_copy(iob, mp->b_wptr, pkt_size));

usr/src/uts/intel/io/viona/viona_tx.c

650

VERIFY(iov_bunch_copy(iob, mp->b_wptr, copy_sz));

usr/src/uts/intel/io/viona/viona_tx.c

682

VERIFY(iov_bunch_copy(iob, remain_mp->b_wptr, remain_sz));

usr/src/uts/intel/io/viona/viona_tx.c

938

VERIFY(dp->d_ref == 2);

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

444

const uint64_t VERIFY = 0xA5A5;

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

451

amdvi_cmd_cmp(softc, VERIFY);

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

453

for (i = 0; i < 100 && (*read != VERIFY); i++) {

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

456

status = (VERIFY == softc->cmp_data) ? true : false;

usr/src/uts/intel/io/vmm/amd/svm.c

1079

VERIFY(vector < 32);

usr/src/uts/intel/io/vmm/amd/svm.c

152

VERIFY((svm_feature & demand_bits) == demand_bits);

usr/src/uts/intel/io/vmm/amd/svm.c

1939

VERIFY(!vcpustate->loaded && curthread->t_preempt != 0);

usr/src/uts/intel/io/vmm/amd/svm.c

2051

VERIFY(vcpustate->loaded && curthread->t_preempt != 0);

usr/src/uts/intel/io/vmm/amd/svm.c

612

VERIFY(inout->addrsize == 2 || inout->addrsize == 4 ||

usr/src/uts/intel/io/vmm/amd/svm.c

981

VERIFY((ctrl->eventinj & VMCB_EVENTINJ_VALID) != 0 ||

usr/src/uts/intel/io/vmm/intel/vmx.c

1878

VERIFY(inout->addrsize == 2 || inout->addrsize == 4 ||

usr/src/uts/intel/io/vmm/intel/vmx.c

2774

VERIFY(vmx->vmcs_state[vcpu] == VS_NONE && curthread->t_preempt != 0);

usr/src/uts/intel/io/vmm/intel/vmx.c

2967

VERIFY(vmx->vmcs_state[vcpu] != VS_NONE && curthread->t_preempt != 0);

usr/src/uts/intel/io/vmm/intel/vmx.c

3802

VERIFY(vmx_vmcs_access_ensure(vmx, vcpuid));

usr/src/uts/intel/io/vmm/intel/vmx.c

681

VERIFY(vector >= 32 && vector <= 255);

usr/src/uts/intel/io/vmm/io/ppt.c

556

VERIFY(ppt = ddi_get_soft_state(ppt_state, inst));

usr/src/uts/intel/io/vmm/io/vatpic.c

398

VERIFY(pin >= 0 && pin < 16);

usr/src/uts/intel/io/vmm/io/vioapic.c

107

VERIFY(pin >= 0 && pin < REDIR_ENTRIES);

usr/src/uts/intel/io/vmm/io/vioapic.c

142

VERIFY(pin >= 0 && pin < REDIR_ENTRIES);

usr/src/uts/intel/io/vmm/io/vlapic.c

1646

VERIFY(valid);

usr/src/uts/intel/io/vmm/io/vlapic.c

1648

VERIFY(valid);

usr/src/uts/intel/io/vmm/io/vlapic.c

1687

VERIFY(valid);

usr/src/uts/intel/io/vmm/io/vlapic.c

1689

VERIFY(valid);

usr/src/uts/intel/io/vmm/seg_vmm.c

151

VERIFY((cra->vmo == NULL && cra->vmc != NULL) ||

usr/src/uts/intel/io/vmm/seg_vmm.c

153

VERIFY(cra->prot & PROT_USER);

usr/src/uts/intel/io/vmm/seg_vmm.c

262

VERIFY(svmd->svmd_softlockcnt == 0);

usr/src/uts/intel/io/vmm/seg_vmm.c

363

VERIFY(svmd->svmd_softlockcnt >= plen);

usr/src/uts/intel/io/vmm/seg_vmm.c

369

VERIFY(type == F_INVAL || type == F_SOFTLOCK);

usr/src/uts/intel/io/vmm/vmm.c

2319

VERIFY(curthread->t_preempt == 0);

usr/src/uts/intel/io/vmm/vmm.c

2398

VERIFY((vtc->vtc_status & VTCS_FPU_RESTORED) == 0);

usr/src/uts/intel/io/vmm/vmm.c

3439

VERIFY(vme->u.suspended.how > VM_SUSPEND_NONE &&

usr/src/uts/intel/io/vmm/vmm.c

3957

VERIFY(IOP_GEN_COOKIE(old_func, old_arg, port) == (uintptr_t)*cookie);

usr/src/uts/intel/io/vmm/vmm.c

4329

VERIFY(vcpuid >= 0 && vcpuid <= VM_MAXCPU);

usr/src/uts/intel/io/vmm/vmm.c

4403

VERIFY(vmm_read_arch_field(vm, vcpuid, entryp->vfe_ident,

usr/src/uts/intel/io/vmm/vmm.c

511

VERIFY(vmm_initialized == 0);

usr/src/uts/intel/io/vmm/vmm.c

524

VERIFY(vmm_initialized == 1);

usr/src/uts/intel/io/vmm/vmm_gpt.c

291

VERIFY(jmp_addr_to_off(instp, patch->new_implf, &new_off));

usr/src/uts/intel/io/vmm/vmm_gpt.c

324

VERIFY(vmm_gpt_patch_indirection(vmm_pte_impl, &vmm_pte_uninit_impl));

usr/src/uts/intel/io/vmm/vmm_gpt.c

389

VERIFY(gpt->vgpt_root != NULL);

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2658

VERIFY((vie->status & VIES_REPEAT) == 0);

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2736

VERIFY(vie->status & VIES_INIT);

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

508

VERIFY(size == 1 || size == 2 || size == 4 || size == 8);

usr/src/uts/intel/io/vmm/vmm_ioport.c

125

VERIFY(cfg->iop_entries);

usr/src/uts/intel/io/vmm/vmm_ioport.c

126

VERIFY(cfg->iop_count);

usr/src/uts/intel/io/vmm/vmm_ioport.c

140

VERIFY(old_count != 0);

usr/src/uts/intel/io/vmm/vmm_ioport.c

141

VERIFY(idx < old_count);

usr/src/uts/intel/io/vmm/vmm_ioport.c

160

VERIFY(idx < new_count);

usr/src/uts/intel/io/vmm/vmm_ioport.c

223

VERIFY(old_count > 1);

usr/src/uts/intel/io/vmm/vmm_ioport.c

68

VERIFY(prev->iope_port < port);

usr/src/uts/intel/io/vmm/vmm_reservoir.c

456

VERIFY(avl_is_empty(&vmmr_free_tp.by_addr));

usr/src/uts/intel/io/vmm/vmm_reservoir.c

457

VERIFY(avl_is_empty(&vmmr_free_tp.by_size));

usr/src/uts/intel/io/vmm/vmm_reservoir.c

458

VERIFY(list_is_empty(&vmmr_alloc_regions));

usr/src/uts/intel/io/vmm/vmm_reservoir.c

575

VERIFY(pp != NULL);

usr/src/uts/intel/io/vmm/vmm_reservoir.c

635

VERIFY(pp != NULL);

usr/src/uts/intel/io/vmm/vmm_reservoir.c

709

VERIFY(MUTEX_HELD(&vmmr_lock));

usr/src/uts/intel/io/vmm/vmm_reservoir.c

745

VERIFY(MUTEX_HELD(&vmmr_lock));

usr/src/uts/intel/io/vmm/vmm_reservoir.c

859

VERIFY(sz);

usr/src/uts/intel/io/vmm/vmm_reservoir.c

860

VERIFY(MUTEX_HELD(&vmmr_lock));

usr/src/uts/intel/io/vmm/vmm_reservoir.c

881

VERIFY(resp != NULL);

usr/src/uts/intel/io/vmm/vmm_sol_dev.c

2040

VERIFY(vmmdev_hma_reg != NULL);

usr/src/uts/intel/io/vmm/vmm_sol_dev.c

2219

VERIFY(hold->vmh_ioport_hook_cnt == 0);

usr/src/uts/intel/io/vmm/vmm_sol_dev.c

2220

VERIFY(hold->vmh_mmio_hook_cnt == 0);

usr/src/uts/intel/io/vmm/vmm_sol_dev.c

2404

VERIFY(!lease->vml_break_deferred);

usr/src/uts/intel/io/vmm/vmm_sol_dev.c

241

VERIFY(off >= VM_DEVMEM_START);

usr/src/uts/intel/io/vmm/vmm_sol_dev.c

2665

VERIFY((sc->vmm_flags & VMM_BLOCK_HOOK) != 0);

usr/src/uts/intel/io/vmm/vmm_sol_dev.c

2731

VERIFY(list_is_empty(&sc->vmm_holds));

usr/src/uts/intel/io/vmm/vmm_sol_dev.c

3447

VERIFY(vmmdev_sdev_hdl != (sdev_plugin_hdl_t)NULL);

usr/src/uts/intel/io/vmm/vmm_sol_dev.c

397

VERIFY(maxcpus == vm_get_maxcpus(sc->vmm_vm));

usr/src/uts/intel/io/vmm/vmm_sol_dev.c

412

VERIFY(rw_write_held(&sc->vmm_rwlock));

usr/src/uts/intel/io/vmm/vmm_sol_glue.c

166

VERIFY(vmm_ptp_hash != NULL);

usr/src/uts/intel/io/vmm/vmm_sol_glue.c

203

VERIFY(mod_hash_insert(vmm_ptp_hash,

usr/src/uts/intel/io/vmm/vmm_sol_glue.c

214

VERIFY(mod_hash_destroy(vmm_ptp_hash,

usr/src/uts/intel/io/vmm/vmm_sol_glue.c

611

VERIFY(*gethrtimeunscaledf == tsc_gethrtimeunscaled ||

usr/src/uts/intel/io/vmm/vmm_vm.c

1000

VERIFY(pfn != PFN_INVALID);

usr/src/uts/intel/io/vmm/vmm_vm.c

1084

VERIFY(vmc->vmc_state & VCS_ACTIVE);

usr/src/uts/intel/io/vmm/vmm_vm.c

1164

VERIFY(vmc->vmc_state & VCS_HOLD);

usr/src/uts/intel/io/vmm/vmm_vm.c

1189

VERIFY(vmc->vmc_state & VCS_HOLD);

usr/src/uts/intel/io/vmm/vmm_vm.c

1225

VERIFY(vmc->vmc_state & VCS_HOLD);

usr/src/uts/intel/io/vmm/vmm_vm.c

1418

VERIFY(list_is_empty(&vmc->vmc_held_pages));

usr/src/uts/intel/io/vmm/vmm_vm.c

1581

VERIFY(vmc != NULL);

usr/src/uts/intel/io/vmm/vmm_vm.c

1640

VERIFY(segoff >= 0);

usr/src/uts/intel/io/vmm/vmm_vm.c

1641

VERIFY(len <= vmo->vmo_size);

usr/src/uts/intel/io/vmm/vmm_vm.c

1642

VERIFY((len + segoff) <= vmo->vmo_size);

usr/src/uts/intel/io/vmm/vmm_vm.c

261

VERIFY(size > 0 && (size & PAGEOFFSET) == 0 &&

usr/src/uts/intel/io/vmm/vmm_vm.c

286

VERIFY(list_is_empty(&vms->vms_maplist));

usr/src/uts/intel/io/vmm/vmm_vm.c

301

VERIFY(list_is_empty(&vms->vms_clients));

usr/src/uts/intel/io/vmm/vmm_vm.c

735

VERIFY(!vms->vms_held);

usr/src/uts/intel/io/vmm/vmm_vm.c

758

VERIFY(vms->vms_held);

usr/src/uts/intel/io/vmm/vmm_vm.c

772

VERIFY(vms->vms_held);

usr/src/uts/intel/io/vmm/vmm_vm.c

907

VERIFY(pfn != PFN_INVALID);

usr/src/uts/intel/io/vmm/vmm_zsd.c

133

VERIFY(zone != NULL);

usr/src/uts/intel/io/vmm/vmm_zsd.c

77

VERIFY(zsd != NULL);

usr/src/uts/intel/io/vmxnet3s/vmxnet3_main.c

1536

VERIFY(mac_unregister(dp->mac) == 0);

usr/src/uts/intel/io/vmxnet3s/vmxnet3_rx.c

163

VERIFY(vmxnet3_put_rxpool_buf(dp, rxBuf, B_TRUE));

usr/src/uts/intel/io/vmxnet3s/vmxnet3_rx.c

208

VERIFY(vmxnet3_put_rxpool_buf(dp, rxBuf,

usr/src/uts/intel/os/cpuid.c

3013

VERIFY(!need_rfds);

usr/src/uts/intel/os/cpuid.c

3169

VERIFY(!intel_pbrsb_no);

usr/src/uts/intel/os/cpuid.c

3356

VERIFY(cpu->cpu_id == 0);

usr/src/uts/intel/os/cpuid.c

5309

VERIFY(is_x86_feature(x86_featureset,

usr/src/uts/intel/os/cpuid.c

6566

VERIFY(xsave_bv_all != 0);

usr/src/uts/intel/os/cpuid.c

8197

VERIFY(cpuid_checkpass(CPU, CPUID_PASS_BASIC));

usr/src/uts/intel/os/fpu.c

1105

VERIFY(fp->fpu_regs.kfpu_u.kfpu_xs != NULL);

usr/src/uts/intel/os/fpu.c

1887

VERIFY(curthread->t_procp->p_flag & SSYS);

usr/src/uts/intel/os/fpu.c

1888

VERIFY(kfpu == NULL);

usr/src/uts/intel/os/fpu.c

2652

VERIFY(fpu_xsave_enabled());

usr/src/uts/intel/os/fpu.c

2764

VERIFY(fpu_xsave_enabled());

usr/src/uts/intel/os/fpu.c

2889

VERIFY(found);

usr/src/uts/intel/os/fpu.c

3175

VERIFY(fpu_xsave_enabled());

usr/src/uts/intel/os/hma.c

207

VERIFY(name != NULL);

usr/src/uts/intel/os/hma.c

224

VERIFY(name != NULL);

usr/src/uts/intel/os/hma.c

242

VERIFY(reg != NULL);

usr/src/uts/intel/os/hma.c

243

VERIFY(!list_is_empty(&hma_registrations));

usr/src/uts/intel/os/hma.c

294

VERIFY(vpid > HMA_VPID_RESERVED);

usr/src/uts/intel/os/hma.c

346

VERIFY(vmx_cpu->hvc_vmxon_page != NULL);

usr/src/uts/intel/os/hma.c

347

VERIFY(vmx_cpu->hvc_vmxon_pa != 0);

usr/src/uts/intel/os/hma.c

426

VERIFY(vmx_cpu->hvc_vmxon_pa != 0);

usr/src/uts/intel/os/hma.c

879

VERIFY(hsave_pa != 0);

usr/src/uts/intel/os/hma.c

940

VERIFY(svm_cpu->hsc_hsave_pa != 0);

usr/src/uts/intel/os/smt.c

644

VERIFY(cp->cpu_flags & CPU_OFFLINE);

usr/src/uts/intel/os/smt.c

677

VERIFY(cp->cpu_flags & CPU_DISABLED);

usr/src/uts/intel/os/smt.c

689

VERIFY(!smt_boot_disable);

usr/src/uts/sun4/io/ivintr.c

195

VERIFY(((uint64_t)intr_payload & 0x7) == 0);

usr/src/uts/sun4/io/pcicfg.c

5344

VERIFY(ndi_devi_offline(new_child, NDI_NO_EVENT|NDI_UNCONFIG)

usr/src/uts/sun4/os/ddi_impl.c

794

VERIFY(add_ivintr(hdlp->ih_vector, hdlp->ih_pri,

usr/src/uts/sun4/os/ddi_impl.c

808

VERIFY(rem_ivintr(hdlp->ih_vector, hdlp->ih_pri) == 0);

usr/src/uts/sun4u/io/pci/pci_pbm.c

158

VERIFY(add_ivintr(mondo, pci_pil[CBNINTR_PBM], (intrfunc)pbm_error_intr,

usr/src/uts/sun4u/io/pci/pci_pbm.c

198

VERIFY(rem_ivintr(mondo, pci_pil[CBNINTR_PBM]) == 0);

usr/src/uts/sun4u/io/pci/pcipsy.c

1990

VERIFY(rem_ivintr(pci_mondo, pci_pil[CBNINTR_THERMAL]) == 0);

usr/src/uts/sun4u/io/pci/pcipsy.c

704

VERIFY(rem_ivintr(mondo, pci_pil[CBNINTR_THERMAL]) == 0);

usr/src/uts/sun4u/io/pci/pcipsy.c

720

VERIFY(add_ivintr(mondo, pci_pil[CBNINTR_THERMAL],

usr/src/uts/sun4u/io/pci/pcipsy.c

757

VERIFY(rem_ivintr(mondo, pci_pil[CBNINTR_THERMAL]) == 0);

usr/src/uts/sun4u/io/pci/pcipsy.c

772

VERIFY(add_ivintr(mondo, pci_pil[inum], (intrfunc)ecc_intr,

usr/src/uts/sun4u/io/pci/pcipsy.c

787

VERIFY(rem_ivintr(mondo, pci_pil[inum]) == 0);

usr/src/uts/sun4u/io/pci/pcisch.c

3389

VERIFY(add_ivintr(mondo, pci_pil[inum], f,

usr/src/uts/sun4u/io/pci/pcisch.c

3393

VERIFY(rem_ivintr(mondo, pci_pil[inum]) == 0);

usr/src/uts/sun4u/io/pci/pcisch.c

3413

VERIFY(add_ivintr(mondo, pci_pil[inum], (intrfunc)ecc_intr,

usr/src/uts/sun4u/io/pci/pcisch.c

3434

VERIFY(rem_ivintr(mondo, pci_pil[inum]) == 0);

usr/src/uts/sun4u/io/pci/pcisch.c

3460

VERIFY(add_ivintr(mondo, pci_pil[CBNINTR_CDMA],

usr/src/uts/sun4u/io/pci/pcisch.c

3477

VERIFY(rem_ivintr(mondo, pci_pil[CBNINTR_CDMA]) == 0);

usr/src/uts/sun4u/io/pci/pcisch.c

661

VERIFY(rem_ivintr(mondo, pci_pil[CBNINTR_BUS_ERROR]) == 0);

usr/src/uts/sun4u/io/pci/pcisch.c

676

VERIFY(add_ivintr(mondo, pci_pil[CBNINTR_BUS_ERROR],

usr/src/uts/sun4u/io/px/px_lib4u.c

2101

VERIFY(add_ivintr(px_fault_p->px_fh_sysino, PX_ERR_PIL,

usr/src/uts/sun4u/io/px/px_lib4u.c

2119

VERIFY(rem_ivintr(px_fault_p->px_fh_sysino, PX_ERR_PIL) == 0);

usr/src/uts/sun4u/io/px/px_lib4u.c

2205

VERIFY(add_ivintr(fault_p->px_fh_sysino, PX_ERR_PIL,

usr/src/uts/sun4u/io/px/px_lib4u.c

2297

VERIFY(rem_ivintr(fault_p->px_fh_sysino, PX_ERR_PIL) == 0);

usr/src/uts/sun4u/io/px/px_lib4u.c

2584

VERIFY(add_ivintr(pxu_p->hp_sysino, PCIE_INTR_PRI,

usr/src/uts/sun4u/io/px/px_lib4u.c

2604

VERIFY(rem_ivintr(pxu_p->hp_sysino, PCIE_INTR_PRI) == 0);

usr/src/uts/sun4u/opl/io/pcicmu/pcicmu.c

1437

VERIFY(add_ivintr(mondo, pcmu_pil[inum], (intrfunc)pcmu_ecc_intr,

usr/src/uts/sun4u/opl/io/pcicmu/pcicmu.c

1453

VERIFY(rem_ivintr(mondo, pcmu_pil[inum]) == 0);

usr/src/uts/sun4u/opl/io/pcicmu/pcmu_pbm.c

121

VERIFY(add_ivintr(mondo, pcmu_pil[CBNINTR_PBM],

usr/src/uts/sun4u/opl/io/pcicmu/pcmu_pbm.c

161

VERIFY(rem_ivintr(mondo, pcmu_pil[CBNINTR_PBM]) == 0);

usr/src/uts/sun4v/io/px/px_lib4v.c

1947

VERIFY(add_ivintr(px_fault_p->px_fh_sysino, PX_ERR_PIL,

usr/src/uts/sun4v/io/px/px_lib4v.c

1968

VERIFY(rem_ivintr(px_fault_p->px_fh_sysino, PX_ERR_PIL) == 0);

usr/src/uts/sun4v/io/px/px_lib4v.c

1987

VERIFY(add_ivintr(f_p->px_fh_sysino, PX_ERR_PIL,

usr/src/uts/sun4v/io/vdc.c

1561

VERIFY(vdc != NULL);

usr/src/uts/sun4v/io/vds.c

3693

VERIFY(i < nioctls); /* because "operation" already validated */

usr/src/uts/sun4v/io/vnet.c

658

VERIFY(mac_unregister(vnetp->mh) == 0);

usr/src/uts/sun4v/os/fillsysinfo.c

1081

VERIFY(i < PLAT_MAX_IOALIASES);

usr/src/uts/sun4v/promif/promif_io.c

230

VERIFY(fd == istdout);

usr/src/uts/sun4v/promif/promif_io.c

257

VERIFY(fd == istdin);