Symbol: VERIFY3U
usr/src/cmd/bhyve/common/pci_ahci.c
814
VERIFY3U(size, >=, len);
usr/src/cmd/bhyve/common/virtio.c
341
VERIFY3U(vs->vs_ncaps, <=, sizeof (vs->vs_caps));
usr/src/cmd/bhyve/common/virtio.c
391
VERIFY3U(datalen, <=, UINT32_MAX - (PAGE_SIZE - 1));
usr/src/cmd/bhyve/common/virtio.c
536
VERIFY3U(device_id, <=, 0x3f);
usr/src/cmd/dtrace/test/tst/common/ip/msnc.c
60
VERIFY3U(pe.portev_source, ==, PORT_SOURCE_FD);
usr/src/cmd/dtrace/test/tst/common/ip/msnc.c
61
VERIFY3U(pe.portev_object, ==, sock);
usr/src/cmd/fwflash/plugins/transport/common/sd.c
271
VERIFY3U(len, >, 0);
usr/src/cmd/fwflash/plugins/transport/common/sd.c
272
VERIFY3U(off + len, <=, verifier->imgsize);
usr/src/cmd/i2cadm/i2cadm_controller.c
869
VERIFY3U(len, ==, sizeof (uint32_t));
usr/src/cmd/i2cadm/i2cadm_controller.c
877
VERIFY3U(len, ==, sizeof (uint32_t));
usr/src/cmd/i2cadm/i2cadm_controller.c
886
VERIFY3U(len, ==, sizeof (uint32_t));
usr/src/cmd/i2cadm/i2cadm_io.c
482
VERIFY3U(req->io_wlen, !=, 0);
usr/src/cmd/i2cadm/i2cadm_io.c
483
VERIFY3U(req->io_mode->mode_dlen, !=, 0);
usr/src/cmd/i2cadm/i2cadm_io.c
752
VERIFY3U(req->io_rlen, ==, 0);
usr/src/cmd/i2cadm/i2cadm_port.c
364
VERIFY3U(ndevs, ==, 1);
usr/src/cmd/nvmeadm/nvmeadm.c
2829
VERIFY3U(datalen, !=, 0);
usr/src/cmd/nvmeadm/nvmeadm.c
3216
VERIFY3U(i, ==, nf.nf_nfilts);
usr/src/cmd/nvmeadm/nvmeadm_field.c
310
VERIFY3U(bit->nfb_hibit, <, 64);
usr/src/cmd/nvmeadm/nvmeadm_field.c
560
VERIFY3U(field->nf_len, ==, 16);
usr/src/cmd/nvmeadm/nvmeadm_phyeye.c
479
VERIFY3U(lkind, ==, NVME_LOG_SIZE_K_VAR);
usr/src/cmd/nvmeadm/nvmeadm_phyeye.c
480
VERIFY3U(min_len, >=, sizeof (nvme_eom_hdr_t));
usr/src/cmd/pcidb/pcidb.c
656
VERIFY3U(filter->pft_vend, !=, PCIDB_NOFILTER);
usr/src/cmd/pcieadm/pcieadm.c
106
VERIFY3U(pcieadm.pia_indent, >, 0);
usr/src/cmd/pcieadm/pcieadm_cfgspace.c
392
VERIFY3U(off, <, PCIE_CONF_HDR_SIZE);
usr/src/cmd/pcieadm/pcieadm_cfgspace.c
527
VERIFY3U(print->pcp_len, <=, 8);
usr/src/cmd/pcieadm/pcieadm_cfgspace.c
528
VERIFY3U(print->pcp_off + print->pcp_len + walkp->pcw_capoff, <=,
usr/src/cmd/ptools/pmap/pmap.c
222
VERIFY3U(*np, <=, nstacks);
usr/src/cmd/smbsrv/smbadm/smbinfo.c
383
VERIFY3U(arg->ofmt_width, <, INT_MAX);
usr/src/cmd/smbsrv/smbadm/smbinfo.c
603
VERIFY3U(buflen, >, n);
usr/src/cmd/zdb/zdb.c
1777
VERIFY3U(0, ==, dmu_bonus_hold(os, obj, FTAG, &db));
usr/src/cmd/zdb/zdb.c
3587
VERIFY3U(zio_wait(zio_claim(NULL, zcb->zcb_spa,
usr/src/cmd/zdb/zdb.c
4020
VERIFY3U(sme->sme_offset, >=, ms->ms_start);
usr/src/cmd/zdb/zdb.c
4021
VERIFY3U(end, <=, ms->ms_start + ms->ms_size);
usr/src/cmd/zdb/zdb.c
4565
VERIFY3U(0, ==, bptree_iterate(spa->spa_meta_objset,
usr/src/cmd/zdb/zdb.c
5167
VERIFY3U(sme->sme_offset, >=, ms->ms_start);
usr/src/cmd/zdb/zdb.c
5168
VERIFY3U(end, <=, ms->ms_start + ms->ms_size);
usr/src/cmd/ztest/ztest.c
1532
VERIFY3U(*bonusp, ==, token);
usr/src/cmd/ztest/ztest.c
1717
VERIFY3U(0, ==, dmu_object_set_blocksize(os, lr->lr_foid,
usr/src/cmd/ztest/ztest.c
1720
VERIFY3U(0, ==, dmu_bonus_hold(os, lr->lr_foid, FTAG, &db));
usr/src/cmd/ztest/ztest.c
1728
VERIFY3U(0, ==, zap_add(os, lr->lr_doid, name, sizeof (uint64_t), 1,
usr/src/cmd/ztest/ztest.c
1755
VERIFY3U(0, ==,
usr/src/cmd/ztest/ztest.c
1761
VERIFY3U(0, ==, dmu_object_info(os, object, &doi));
usr/src/cmd/ztest/ztest.c
1775
VERIFY3U(0, ==, zap_destroy(os, object, tx));
usr/src/cmd/ztest/ztest.c
1777
VERIFY3U(0, ==, dmu_object_free(os, object, tx));
usr/src/cmd/ztest/ztest.c
1780
VERIFY3U(0, ==, zap_remove(os, lr->lr_doid, name, tx));
usr/src/cmd/ztest/ztest.c
1832
VERIFY3U(0, ==, dmu_bonus_hold(os, lr->lr_foid, FTAG, &db));
usr/src/cmd/ztest/ztest.c
1976
VERIFY3U(0, ==, dmu_bonus_hold(os, lr->lr_foid, FTAG, &db));
usr/src/cmd/ztest/ztest.c
2216
VERIFY3U(0, ==, dmu_bonus_hold(zd->zd_os,
usr/src/cmd/ztest/ztest.c
2610
VERIFY3U(ENOENT, ==,
usr/src/cmd/ztest/ztest.c
2618
VERIFY3U(ENOENT, ==,
usr/src/cmd/ztest/ztest.c
2628
VERIFY3U(EEXIST, ==,
usr/src/cmd/ztest/ztest.c
2631
VERIFY3U(0, ==, spa_open(zo->zo_pool, &spa, FTAG));
usr/src/cmd/ztest/ztest.c
2632
VERIFY3U(EBUSY, ==, spa_destroy(zo->zo_pool));
usr/src/cmd/ztest/ztest.c
2745
VERIFY3U(spa_version(spa), ==, version);
usr/src/cmd/ztest/ztest.c
2754
VERIFY3U(spa_version(spa), >, version);
usr/src/cmd/ztest/ztest.c
2755
VERIFY3U(spa_version(spa), ==, fnvlist_lookup_uint64(spa->spa_config,
usr/src/cmd/ztest/ztest.c
3929
VERIFY3U(ENOENT, ==, ztest_dmu_objset_own(name, DMU_OST_OTHER, B_TRUE,
usr/src/cmd/ztest/ztest.c
3969
VERIFY3U(EEXIST, ==,
usr/src/cmd/ztest/ztest.c
3975
VERIFY3U(0, ==, dmu_objset_hold(name, FTAG, &os2));
usr/src/cmd/ztest/ztest.c
3981
VERIFY3U(EBUSY, ==, ztest_dmu_objset_own(name, DMU_OST_OTHER,
usr/src/cmd/ztest/ztest.c
4538
VERIFY3U(0, ==, dmu_bonus_hold(os, bigobj, FTAG, &bonus_db));
usr/src/cmd/ztest/ztest.c
4793
VERIFY3U(0, ==, zap_add(os, object, hc[i], sizeof (uint64_t),
usr/src/cmd/ztest/ztest.c
4797
VERIFY3U(EEXIST, ==, zap_add(os, object, hc[i],
usr/src/cmd/ztest/ztest.c
4799
VERIFY3U(0, ==,
usr/src/cmd/ztest/ztest.c
4805
VERIFY3U(0, ==, zap_remove(os, object, hc[i], tx));
usr/src/cmd/ztest/ztest.c
4866
VERIFY3U(0, ==, zap_update(os, object, txgname, sizeof (uint64_t),
usr/src/cmd/ztest/ztest.c
4868
VERIFY3U(0, ==, zap_update(os, object, propname, sizeof (uint64_t),
usr/src/cmd/ztest/ztest.c
4892
VERIFY3U(0, ==, zap_remove(os, object, txgname, tx));
usr/src/cmd/ztest/ztest.c
4893
VERIFY3U(0, ==, zap_remove(os, object, propname, tx));
usr/src/cmd/ztest/ztest.c
5470
VERIFY3U(pos, ==, size);
usr/src/cmd/ztest/ztest.c
5627
VERIFY3U(dmu_objset_hold(fullname, FTAG, &origin), ==, ENOENT);
usr/src/cmd/ztest/ztest.c
6057
VERIFY3U(orig, !=, spa_guid(spa));
usr/src/cmd/ztest/ztest.c
6058
VERIFY3U(load, ==, spa_load_guid(spa));
usr/src/cmd/ztest/ztest.c
6311
VERIFY3U(0, ==, spa_open(oldname, &spa, FTAG));
usr/src/cmd/ztest/ztest.c
6327
VERIFY3U(0, ==, spa_export(oldname, &config, B_FALSE, B_FALSE));
usr/src/cmd/ztest/ztest.c
6353
VERIFY3U(EEXIST, ==, spa_import(newname, config, NULL, 0));
usr/src/cmd/ztest/ztest.c
6358
VERIFY3U(EEXIST, ==, spa_import(oldname, config, NULL, 0));
usr/src/cmd/ztest/ztest.c
6363
VERIFY3U(ENOENT, ==, spa_open(oldname, &spa, FTAG));
usr/src/cmd/ztest/ztest.c
6368
VERIFY3U(0, ==, spa_open(newname, &spa, FTAG));
usr/src/cmd/ztest/ztest.c
6555
VERIFY3U(0, ==, zap_count(zd->zd_os, ZTEST_DIROBJ, &dirobjs));
usr/src/cmd/ztest/ztest.c
6824
VERIFY3U(0, ==, spa_open(ztest_opts.zo_pool, &spa, FTAG));
usr/src/cmd/ztest/ztest.c
6825
VERIFY3U(0, ==, ztest_dataset_open(0));
usr/src/cmd/ztest/ztest.c
6891
VERIFY3U(0, ==, spa_open(ztest_opts.zo_pool, &spa, FTAG));
usr/src/cmd/ztest/ztest.c
6893
VERIFY3U(0, ==, ztest_dataset_open(0));
usr/src/cmd/ztest/ztest.c
7029
VERIFY3U(0, ==, nvlist_add_uint64(props, buf, 0));
usr/src/cmd/ztest/ztest.c
7031
VERIFY3U(0, ==,
usr/src/cmd/ztest/ztest.c
7036
VERIFY3U(0, ==, spa_open(ztest_opts.zo_pool, &spa, FTAG));
usr/src/cmd/ztest/ztest.c
7089
VERIFY3U(0, ==, ftruncate(ztest_fd_data, sizeof (ztest_shared_hdr_t)));
usr/src/cmd/ztest/ztest.c
7100
VERIFY3U(0, ==, ftruncate(ztest_fd_data, size));
usr/src/cmd/ztest/ztest.c
7160
VERIFY3U(11, >=,
usr/src/cmd/ztest/ztest.c
7287
VERIFY3U(asprintf((char **)&spa_config_path, "%s/zpool.cache",
usr/src/common/ilstr/ilstr.c
369
VERIFY3U(ils->ils_datalen, ==, 0);
usr/src/common/ilstr/ilstr.c
370
VERIFY3U(ils->ils_strlen, ==, 0);
usr/src/common/mc/zen_umc/zen_umc_decode.c
1052
VERIFY3U(np2->zukr_chan_fill[i], <, ARRAY_SIZE(hashes));
usr/src/common/mc/zen_umc/zen_umc_decode.c
1583
VERIFY3U(mid_end, >=, rule->ddr_addr_start);
usr/src/common/nvpair/fnvpair.c
80
VERIFY3U(nvlist_pack(nvl, &packed, sizep, NV_ENCODE_NATIVE,
usr/src/lib/libcmdutils/common/nicenum.c
80
VERIFY3U(newdiv, >=, divamt);
usr/src/lib/libcmdutils/common/nicenum.c
81
VERIFY3U(newdiv, >=, divisor);
usr/src/lib/libctf/common/ctf_dwarf.c
3200
VERIFY3U(i, <, ndies);
usr/src/lib/libdemangle/common/cxx.c
1192
VERIFY3U(nlen(db), >, 2);
usr/src/lib/libdemangle/common/cxx.c
1217
VERIFY3U(nlen(db), >, 1);
usr/src/lib/libdemangle/common/cxx.c
1243
VERIFY3U(nlen(db), >, 0);
usr/src/lib/libdemangle/common/cxx.c
1265
VERIFY3U(first[0], ==, 'n');
usr/src/lib/libdemangle/common/cxx.c
1331
VERIFY3U(first[0], ==, 'd');
usr/src/lib/libdemangle/common/cxx.c
1347
VERIFY3U(first[0], ==, 'i');
usr/src/lib/libdemangle/common/cxx.c
1348
VERIFY3U(first[1], ==, 'x');
usr/src/lib/libdemangle/common/cxx.c
1394
VERIFY3U(first[0], ==, 'm');
usr/src/lib/libdemangle/common/cxx.c
1395
VERIFY3U(first[1], ==, 'm');
usr/src/lib/libdemangle/common/cxx.c
1405
VERIFY3U(first[0], ==, 'p');
usr/src/lib/libdemangle/common/cxx.c
1406
VERIFY3U(first[0], ==, 'p');
usr/src/lib/libdemangle/common/cxx.c
1488
VERIFY3U(first[1], ==, 'c');
usr/src/lib/libdemangle/common/cxx.c
1498
VERIFY3U(nlen(db), >, 1);
usr/src/lib/libdemangle/common/cxx.c
1943
VERIFY3U(first[0], ==, 's');
usr/src/lib/libdemangle/common/cxx.c
2021
VERIFY3U(first[0], ==, 's');
usr/src/lib/libdemangle/common/cxx.c
2022
VERIFY3U(first[1], ==, 'Z');
usr/src/lib/libdemangle/common/cxx.c
2055
VERIFY3U(first[0], ==, 't');
usr/src/lib/libdemangle/common/cxx.c
2085
VERIFY3U(first[0], ==, 't');
usr/src/lib/libdemangle/common/cxx.c
2111
VERIFY3U(first[0], ==, 'd');
usr/src/lib/libdemangle/common/cxx.c
2112
VERIFY3U(first[1], ==, 's');
usr/src/lib/libdemangle/common/cxx.c
2136
VERIFY3U(first[0], ==, 'd');
usr/src/lib/libdemangle/common/cxx.c
2137
VERIFY3U(first[1], ==, 't');
usr/src/lib/libdemangle/common/cxx.c
2160
VERIFY3U(first[0], ==, 'c');
usr/src/lib/libdemangle/common/cxx.c
2161
VERIFY3U(first[1], ==, 'l');
usr/src/lib/libdemangle/common/cxx.c
2181
VERIFY3U(t[0], ==, 'E');
usr/src/lib/libdemangle/common/cxx.c
2199
VERIFY3U(first[0], ==, 'c');
usr/src/lib/libdemangle/common/cxx.c
2200
VERIFY3U(first[1], ==, 'v');
usr/src/lib/libdemangle/common/cxx.c
2328
VERIFY3U(first[0], ==, 's');
usr/src/lib/libdemangle/common/cxx.c
2329
VERIFY3U(first[1], ==, 'p');
usr/src/lib/libdemangle/common/cxx.c
3214
VERIFY3U(t[0], ==, '_');
usr/src/lib/libdemangle/common/cxx.c
3271
VERIFY3U(first[0], ==, 'D');
usr/src/lib/libdemangle/common/cxx.c
3272
VERIFY3U(first[1], ==, 'v');
usr/src/lib/libdemangle/common/cxx.c
3332
VERIFY3U(first[0], ==, 'D');
usr/src/lib/libdemangle/common/cxx.c
3356
VERIFY3U(first[0], ==, 'A');
usr/src/lib/libdemangle/common/cxx.c
3386
VERIFY3U(t[0], ==, '_');
usr/src/lib/libdemangle/common/cxx.c
3413
VERIFY3U(first[0], ==, 'M');
usr/src/lib/libdemangle/common/cxx.c
3505
VERIFY3U(NAMT(db, n), ==, 1);
usr/src/lib/libdemangle/common/cxx.c
3675
VERIFY3U(first[0], ==, 'F');
usr/src/lib/libdemangle/common/cxx.c
3766
VERIFY3U(t[0], ==, '_');
usr/src/lib/libdemangle/common/cxx.c
3840
VERIFY3U(nlen(db), >, 0);
usr/src/lib/libdemangle/common/cxx.c
807
VERIFY3U(nlen(db), >, 1);
usr/src/lib/libdemangle/common/cxx.c
825
VERIFY3U(nlen(db), >, 1);
usr/src/lib/libdemangle/common/cxx.c
845
VERIFY3U(nlen(db), >, 1);
usr/src/lib/libdemangle/common/cxx.c
867
VERIFY3U(nlen(db), >, 1);
usr/src/lib/libdemangle/common/cxx.c
891
VERIFY3U(nlen(db), >, 1);
usr/src/lib/libdemangle/common/cxx_util.c
155
VERIFY3U(idx, <, n->nm_len);
usr/src/lib/libdemangle/common/cxx_util.c
190
VERIFY3U(amt, <=, n->nm_len);
usr/src/lib/libdemangle/common/cxx_util.c
204
VERIFY3U(name_len(n), >, 0);
usr/src/lib/libdemangle/common/cxx_util.c
257
VERIFY3U(val, <, n->nm_len);
usr/src/lib/libdemangle/common/cxx_util.c
448
VERIFY3U(idx, <, sub->sub_len);
usr/src/lib/libdemangle/common/cxx_util.c
579
VERIFY3U(tpl->tpl_len, >, 0);
usr/src/lib/libdemangle/common/rust-legacy.c
143
VERIFY3U(sv_peek(svp, -1), ==, 'E');
usr/src/lib/libdemangle/common/rust-v0puny.c
121
VERIFY3U(delim_idx, <, bufalloc);
usr/src/lib/libdemangle/common/rust-v0puny.c
134
VERIFY3U(c, <, 0x80);
usr/src/lib/libdemangle/common/rust-v0puny.c
160
VERIFY3U(i, <=, buflen);
usr/src/lib/libdemangle/common/rust-v0puny.c
167
VERIFY3U(buflen, <, bufalloc - 1);
usr/src/lib/libdemangle/common/strview.c
105
VERIFY3U(sv->sv_rem, >=, n);
usr/src/lib/libdemangle/common/strview.c
30
VERIFY3U(sv_remaining(src), >=, len);
usr/src/lib/libdemangle/common/util.c
80
VERIFY3U(newsz, >, oldsz);
usr/src/lib/libdisasm/common/dis_riscv.c
209
VERIFY3U(sbit, <=, 31);
usr/src/lib/libfakekernel/common/ksocket.c
567
VERIFY3U(ks->kso_count, >, 1);
usr/src/lib/libi2c/common/libi2c_device.c
693
VERIFY3U(info->dinfo_naddrs, >, 0);
usr/src/lib/libi2c/common/libi2c_error.c
388
VERIFY3U(ioc->i2c_error, !=, I2C_CORE_E_OK);
usr/src/lib/libjedec/common/libjedec_spd.c
411
VERIFY3U(len, ==, 2);
usr/src/lib/libjedec/common/libjedec_spd.c
425
VERIFY3U(len, ==, 2);
usr/src/lib/libjedec/common/libjedec_spd.c
448
VERIFY3U(sizeof (buf), >, len);
usr/src/lib/libjedec/common/libjedec_spd.c
490
VERIFY3U(sizeof (buf), >=, len * 2 + 1);
usr/src/lib/libjedec/common/libjedec_spd.c
502
VERIFY3U(ret, ==, 2);
usr/src/lib/libjedec/common/libjedec_spd.c
523
VERIFY3U(len, ==, 1);
usr/src/lib/libjedec/common/libjedec_spd.c
539
VERIFY3U(len, ==, 1);
usr/src/lib/libjedec/common/libjedec_spd.c
554
VERIFY3U(len, ==, 1);
usr/src/lib/libnvme/common/libnvme_error.c
1199
VERIFY3U(ioc->nioc_drv_err, !=, NVME_IOCTL_E_OK);
usr/src/lib/libnvme/common/libnvme_error.c
1318
VERIFY3U(val, !=, 0);
usr/src/lib/libnvme/common/libnvme_error.c
1346
VERIFY3U(check->chk_field_unuse, !=, 0);
usr/src/lib/libnvme/common/libnvme_error.c
1361
VERIFY3U(check->chk_field_unsup, !=, 0);
usr/src/lib/libnvme/common/libnvme_error.c
1365
VERIFY3U(check->chk_field_range, !=, 0);
usr/src/lib/libnvme/common/libnvme_log.c
154
VERIFY3U(*act, >=, orig);
usr/src/lib/libnvme/common/libnvme_log.c
239
VERIFY3U(sup_info->nlpi_lid, ==, NVME_LOGPAGE_SUP);
usr/src/lib/libpcsc/common/libpcsc.c
460
VERIFY3U(off, <=, len);
usr/src/lib/libpcsc/common/libpcsc.c
462
VERIFY3U(off, ==, len - 1);
usr/src/lib/pkcs11/pkcs11_softtoken/common/softAESCrypt.c
1042
VERIFY3U(aes_ctx->ac_remainder_len, <=, AES_BLOCK_LEN);
usr/src/lib/pkcs11/pkcs11_softtoken/common/softAESCrypt.c
1087
VERIFY3U(in_len, >=, AES_BLOCK_LEN);
usr/src/lib/pkcs11/pkcs11_softtoken/common/softAESCrypt.c
1480
VERIFY3U(out.cd_offset, ==, out_len);
usr/src/lib/pkcs11/pkcs11_softtoken/common/softAESCrypt.c
483
VERIFY3U(remainder, ==, aes_ctx->ac_remainder_len);
usr/src/lib/smbsrv/libfksmbsrv/common/fake_vop.c
1582
VERIFY3U(vp->v_count, !=, 0);
usr/src/test/bhyve-tests/tests/common/in_guest.c
616
VERIFY3U(vexit->exitcode, ==, VM_EXITCODE_INOUT);
usr/src/test/bhyve-tests/tests/common/in_guest.c
629
VERIFY3U(vexit->exitcode, ==, VM_EXITCODE_MMIO);
usr/src/test/crypto-tests/tests/common/testfuncs.c
258
VERIFY3U(errs, <=, INT_MAX);
usr/src/test/crypto-tests/tests/common/testfuncs.c
324
VERIFY3U(errs, <=, INT_MAX);
usr/src/test/crypto-tests/tests/longhash/longhash.c
103
VERIFY3U(c0, ==, ctx.count[0]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
104
VERIFY3U(c1, ==, ctx.count[1]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
112
VERIFY3U(len, >, pagesize);
usr/src/test/crypto-tests/tests/longhash/longhash.c
115
VERIFY3U(0, ==, ctx.count.c32[0]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
116
VERIFY3U(0, ==, ctx.count.c32[1]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
125
VERIFY3U(c0, ==, ctx.count.c32[0]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
126
VERIFY3U(c1, ==, ctx.count.c32[1]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
139
VERIFY3U(0, ==, ctx.count.c32[0]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
140
VERIFY3U(pagesize * 8, ==, ctx.count.c32[1]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
149
VERIFY3U(c0, ==, ctx.count.c32[0]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
150
VERIFY3U(c1, ==, ctx.count.c32[1]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
158
VERIFY3U(len, >, pagesize);
usr/src/test/crypto-tests/tests/longhash/longhash.c
161
VERIFY3U(0, ==, ctx.count.c64[0]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
162
VERIFY3U(0, ==, ctx.count.c64[1]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
171
VERIFY3U(c0, ==, ctx.count.c64[0]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
172
VERIFY3U(c1, ==, ctx.count.c64[1]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
185
VERIFY3U(0, ==, ctx.count.c64[0]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
186
VERIFY3U(pagesize * 8, ==, ctx.count.c64[1]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
195
VERIFY3U(c0, ==, ctx.count.c64[0]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
196
VERIFY3U(c1, ==, ctx.count.c64[1]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
66
VERIFY3U(len, >, pagesize);
usr/src/test/crypto-tests/tests/longhash/longhash.c
69
VERIFY3U(0, ==, ctx.count[0]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
70
VERIFY3U(0, ==, ctx.count[1]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
79
VERIFY3U(c0, ==, ctx.count[0]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
80
VERIFY3U(c1, ==, ctx.count[1]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
93
VERIFY3U(0, ==, ctx.count[0]);
usr/src/test/crypto-tests/tests/longhash/longhash.c
94
VERIFY3U(pagesize * 8, ==, ctx.count[1]);
usr/src/test/crypto-tests/tests/modes/aes/ccm/aes_ccm.c
102
VERIFY3U(args.plen, <=, sizeof (param));
usr/src/test/crypto-tests/tests/modes/aes/ccm/aes_ccm.c
122
VERIFY3U(args.plen, <=, sizeof (param));
usr/src/test/crypto-tests/tests/modes/aes/ccm/aes_ccm.c
60
VERIFY3U(args.plen, <=, sizeof (param));
usr/src/test/crypto-tests/tests/modes/aes/ccm/aes_ccm.c
80
VERIFY3U(args.plen, <=, sizeof (param));
usr/src/test/i2c-tests/i2csimd/i2csimd.c
362
VERIFY3U(setsid(), !=, (pid_t)-1);
usr/src/test/i2c-tests/i2csimd/i2csimd_pca9548.c
53
VERIFY3U(idx, <, PCA_NPORTS);
usr/src/test/i2c-tests/i2csimd/i2csimd_pca9548.c
67
VERIFY3U(idx, <, PCA_NPORTS);
usr/src/test/libc-tests/tests/endian.c
100
VERIFY3U(test16, ==, e16);
usr/src/test/libc-tests/tests/endian.c
103
VERIFY3U(test32, ==, e32);
usr/src/test/libc-tests/tests/endian.c
105
VERIFY3U(test32, ==, e32);
usr/src/test/libc-tests/tests/endian.c
108
VERIFY3U(test64, ==, e64);
usr/src/test/libc-tests/tests/endian.c
110
VERIFY3U(test64, ==, e64);
usr/src/test/libc-tests/tests/endian.c
136
VERIFY3U(test16, ==, e16);
usr/src/test/libc-tests/tests/endian.c
138
VERIFY3U(test16, ==, e16);
usr/src/test/libc-tests/tests/endian.c
141
VERIFY3U(test32, ==, e32);
usr/src/test/libc-tests/tests/endian.c
143
VERIFY3U(test32, ==, e32);
usr/src/test/libc-tests/tests/endian.c
146
VERIFY3U(test64, ==, e64);
usr/src/test/libc-tests/tests/endian.c
148
VERIFY3U(test64, ==, e64);
usr/src/test/libc-tests/tests/endian.c
61
VERIFY3U(test16, ==, ebe16);
usr/src/test/libc-tests/tests/endian.c
63
VERIFY3U(test32, ==, ebe32);
usr/src/test/libc-tests/tests/endian.c
65
VERIFY3U(test64, ==, ebe64);
usr/src/test/libc-tests/tests/endian.c
68
VERIFY3U(test16, ==, ele16);
usr/src/test/libc-tests/tests/endian.c
70
VERIFY3U(test32, ==, ele32);
usr/src/test/libc-tests/tests/endian.c
72
VERIFY3U(test64, ==, ele64);
usr/src/test/libc-tests/tests/endian.c
98
VERIFY3U(test16, ==, e16);
usr/src/test/libc-tests/tests/stdbit.c
1039
VERIFY3U(test->st_types, !=, 0);
usr/src/test/libc-tests/tests/stdbit.c
1235
VERIFY3U(test->st_types, !=, 0);
usr/src/test/libc-tests/tests/stdbit.c
1444
VERIFY3U(test->sfc_types, !=, 0);
usr/src/test/libc-tests/tests/threads/pthread_attr_get_np.c
96
VERIFY3U(sp, >, (uintptr_t)stk);
usr/src/test/libc-tests/tests/threads/pthread_attr_get_np.c
97
VERIFY3U(sp, <, (uintptr_t)stk + stksz);
usr/src/test/libc-tests/tests/wcslcpy.c
121
VERIFY3U(test->wt_dstlen, ==, dstlen);
usr/src/test/libc-tests/tests/wcsncasecmp.c
59
VERIFY3U(ret, ==, len);
usr/src/test/libc-tests/tests/wcsncasecmp.c
61
VERIFY3U(ret, ==, len);
usr/src/test/libc-tests/tests/wcsncasecmp.c
67
VERIFY3U(ret, ==, len);
usr/src/test/libc-tests/tests/wcsncasecmp.c
71
VERIFY3U(ret, ==, len);
usr/src/test/libc-tests/tests/wcsncasecmp.c
75
VERIFY3U(ret, ==, len);
usr/src/test/libc-tests/tests/wcsncasecmp.c
79
VERIFY3U(ret, ==, len);
usr/src/test/libc-tests/tests/wcsncasecmp.c
81
VERIFY3U(ret, ==, len);
usr/src/test/libc-tests/tests/wcsncasecmp.c
92
VERIFY3U(ret, >, 0);
usr/src/test/libc-tests/tests/wcsncasecmp.c
94
VERIFY3U(ret, >, 0);
usr/src/test/libc-tests/tests/wcsncasecmp.c
98
VERIFY3U(ret, >, 0);
usr/src/test/nvme-tests/tests/ioctl/lock-order.c
102
VERIFY3U(nwrite + nread, ==, nthr);
usr/src/test/nvme-tests/tests/ioctl/lock-order.c
129
VERIFY3U(nwrite, ==, 0);
usr/src/test/nvme-tests/tests/ioctl/lock-order.c
130
VERIFY3U(nread, ==, 0);
usr/src/test/nvme-tests/tests/ioctl/lock-order.c
161
VERIFY3U(nctrl + nns, ==, nthr);
usr/src/test/nvme-tests/tests/ioctl/lock-order.c
189
VERIFY3U(nctrl, ==, 0);
usr/src/test/nvme-tests/tests/ioctl/lock-order.c
190
VERIFY3U(nns, ==, 0);
usr/src/test/nvme-tests/tests/ioctl/lock-order.c
309
VERIFY3U(lock_nextres, <, MAX_LOCKS);
usr/src/test/nvme-tests/tests/ioctl/lock-order.c
381
VERIFY3U(lock_nextres, ==, nthr);
usr/src/test/nvme-tests/tests/ioctl/lock-signal.c
54
VERIFY3U(sig, ==, SIGINFO);
usr/src/test/nvme-tests/tests/ioctl/lock-signal.c
55
VERIFY3U(thr_self(), ==, lock_sig_thrid);
usr/src/test/os-tests/tests/file-locking/runtests.c
363
VERIFY3U(errno, ==, EWOULDBLOCK);
usr/src/test/os-tests/tests/file-locking/runtests.c
415
VERIFY3U(errno, ==, EINVAL);
usr/src/test/os-tests/tests/file-locking/runtests.c
433
VERIFY3U(errno, ==, EINVAL);
usr/src/test/os-tests/tests/file-locking/runtests.c
549
VERIFY3U(errno, ==, EWOULDBLOCK);
usr/src/test/os-tests/tests/file-locking/runtests.c
564
VERIFY3U(errno, ==, EWOULDBLOCK);
usr/src/test/os-tests/tests/file-locking/runtests.c
566
VERIFY3U(errno, ==, EWOULDBLOCK);
usr/src/test/os-tests/tests/hexdump/hexdump_basic.c
216
VERIFY3U(ilstr_errno(i), ==, ILSTR_ERROR_OK);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
100
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_NOMEM);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
103
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_NOMEM);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
109
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_NOMEM);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
117
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_OK);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
127
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_OK);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
133
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_NOMEM);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
136
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_NOMEM);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
142
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_NOMEM);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
157
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_OK);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
175
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_OK);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
182
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_NOMEM);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
183
VERIFY3U(ilstr_len(ils), <, 2 * PREALLOC_SZ);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
202
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_OK);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
205
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_OK);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
206
VERIFY3U(ilstr_len(ils), ==, target);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
218
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_OK);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
247
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_OK);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
268
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_OK);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
272
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_OK);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
279
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_OK);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
300
VERIFY3U(ilstr_len(ils), ==, 0);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
302
VERIFY3U(ilstr_cstr(ils)[0], ==, '\0');
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
303
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_OK);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
311
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_OK);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
312
VERIFY3U(ilstr_len(ils), ==, n + 1);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
318
VERIFY3U(ilstr_len(ils), ==, target);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
333
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_OK);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
343
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_OK);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
347
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_OK);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
351
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_OK);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
76
VERIFY3U(ilstr_len(ils), ==, 0);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
79
VERIFY3U(ilstr_cstr(ils)[0], ==, '\0');
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
80
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_OK);
usr/src/test/os-tests/tests/ilstr/ilstr_basic.c
94
VERIFY3U(ilstr_errno(ils), ==, ILSTR_ERROR_OK);
usr/src/test/os-tests/tests/uccid/modify.c
111
VERIFY3U(ucs.ucs_status & UCCID_STATUS_F_CARD_ACTIVE, ==, 0);
usr/src/test/os-tests/tests/uccid/modify.c
125
VERIFY3U(ucs.ucs_status & UCCID_STATUS_F_CARD_ACTIVE, !=, 0);
usr/src/test/os-tests/tests/uccid/modify.c
139
VERIFY3U(ucs.ucs_status & UCCID_STATUS_F_CARD_ACTIVE, !=, 0);
usr/src/test/os-tests/tests/uccid/modify.c
158
VERIFY3U(ucs.ucs_status & UCCID_STATUS_F_CARD_ACTIVE, ==, 0);
usr/src/test/os-tests/tests/uccid/modify.c
177
VERIFY3U(ucs.ucs_status & UCCID_STATUS_F_CARD_ACTIVE, !=, 0);
usr/src/test/os-tests/tests/uccid/modify.c
68
VERIFY3U(ucs.ucs_status & UCCID_STATUS_F_CARD_ACTIVE, ==, 0);
usr/src/test/os-tests/tests/uccid/modify.c
82
VERIFY3U(ucs.ucs_status & UCCID_STATUS_F_CARD_ACTIVE, !=, 0);
usr/src/test/os-tests/tests/uccid/modify.c
97
VERIFY3U(ucs.ucs_status & UCCID_STATUS_F_CARD_ACTIVE, !=, 0);
usr/src/test/os-tests/tests/xsave/bad_xregs.c
181
VERIFY3U(hdr->pr_ninfo, >=, 2);
usr/src/test/os-tests/tests/xsave/bad_xregs.c
346
VERIFY3U(found, ==, B_TRUE);
usr/src/test/os-tests/tests/xsave/xsave_baducontext.c
247
VERIFY3U(ctx->uc_xsave, !=, 0);
usr/src/test/os-tests/tests/xsave/xsave_util.c
306
VERIFY3U(nu32 % 4, ==, 0);
usr/src/test/os-tests/tests/xsave/xsave_util.c
441
VERIFY3U(len, <=, UINT32_MAX);
usr/src/tools/find_elf/find_elf.c
436
VERIFY3U(names->ns_num, >, 0);
usr/src/tools/find_elf/find_elf.c
539
VERIFY3U(names->ns_num, >, 0);
usr/src/tools/find_elf/find_elf.c
680
VERIFY3U(firsthlink, !=, UINT_MAX);
usr/src/uts/common/crypto/io/viorand.c
212
VERIFY3U(state->vio_rdbufs_alloc, >, 0);
usr/src/uts/common/disp/thread.c
1077
VERIFY3U(ct->ct_rev, ==, CTXOP_TPL_REV);
usr/src/uts/common/exec/elf/elf.c
2014
VERIFY3U(count, <=, remain);
usr/src/uts/common/exec/elf/elf.c
2016
VERIFY3U(idx + count, <=, nv);
usr/src/uts/common/exec/elf/elf.c
2059
VERIFY3U(ctx->ecc_bufsz, >=, v[idx].sh_size);
usr/src/uts/common/exec/elf/elf.c
2139
VERIFY3U(nphdrs, >=, 2);
usr/src/uts/common/fs/proc/prcontrol.c
421
VERIFY3U(prwc.prwc_curvalid, >, cmdsize);
usr/src/uts/common/fs/proc/prvnops.c
2897
VERIFY3U(lwpname[THREAD_NAME_MAX - 1], ==, '\0');
usr/src/uts/common/fs/ufs/ufs_thread.c
692
VERIFY3U(vp->v_count, >=, 2);
usr/src/uts/common/fs/zfs/abd.c
310
VERIFY3U(size, <=, SPA_MAXBLOCKSIZE);
usr/src/uts/common/fs/zfs/abd.c
367
VERIFY3U(size, <=, SPA_MAXBLOCKSIZE);
usr/src/uts/common/fs/zfs/abd.c
516
VERIFY3U(size, >, 0);
usr/src/uts/common/fs/zfs/abd.c
539
VERIFY3U(size, <=, SPA_MAXBLOCKSIZE);
usr/src/uts/common/fs/zfs/aggsum.c
159
VERIFY3U(as->as_lower_bound, ==, as->as_upper_bound);
usr/src/uts/common/fs/zfs/aggsum.c
229
VERIFY3U(as->as_lower_bound, ==, as->as_upper_bound);
usr/src/uts/common/fs/zfs/arc.c
1337
VERIFY3U(BP_GET_PSIZE(zio->io_bp), ==, HDR_GET_PSIZE(hdr));
usr/src/uts/common/fs/zfs/arc.c
1441
VERIFY3U(hdr->b_type, ==, type);
usr/src/uts/common/fs/zfs/arc.c
5015
VERIFY3U(hdr->b_type, ==, type);
usr/src/uts/common/fs/zfs/arc.c
5097
VERIFY3U(hdr->b_type, ==, type);
usr/src/uts/common/fs/zfs/arc.c
6254
VERIFY3U(hdr->b_type, ==, type);
usr/src/uts/common/fs/zfs/arc.c
6348
VERIFY3U(nhdr->b_type, ==, type);
usr/src/uts/common/fs/zfs/bpobj.c
104
VERIFY3U(0, ==, bpobj_open(&bpo, os, obj));
usr/src/uts/common/fs/zfs/bpobj.c
111
VERIFY3U(0, ==, dmu_object_info(os, bpo.bpo_phys->bpo_subobjs, &doi));
usr/src/uts/common/fs/zfs/bpobj.c
124
VERIFY3U(0, ==, dmu_buf_hold(os,
usr/src/uts/common/fs/zfs/bpobj.c
138
VERIFY3U(0, ==, dmu_object_free(os, bpo.bpo_phys->bpo_subobjs, tx));
usr/src/uts/common/fs/zfs/bpobj.c
144
VERIFY3U(0, ==, dmu_object_free(os, obj, tx));
usr/src/uts/common/fs/zfs/bpobj.c
268
VERIFY3U(0, ==, dmu_free_range(bpo->bpo_os, bpo->bpo_object,
usr/src/uts/common/fs/zfs/bpobj.c
319
VERIFY3U(0, ==, bpobj_space(&sublist,
usr/src/uts/common/fs/zfs/bpobj.c
345
VERIFY3U(0, ==, dmu_free_range(bpo->bpo_os,
usr/src/uts/common/fs/zfs/bpobj.c
398
VERIFY3U(0, ==, bpobj_open(&subbpo, bpo->bpo_os, subobj));
usr/src/uts/common/fs/zfs/bpobj.c
399
VERIFY3U(0, ==, bpobj_space(&subbpo, &used, &comp, &uncomp));
usr/src/uts/common/fs/zfs/bpobj.c
434
VERIFY3U(0, ==, dmu_object_info(bpo->bpo_os, subsubobjs, &doi));
usr/src/uts/common/fs/zfs/bpobj.c
439
VERIFY3U(0, ==, dmu_buf_hold(bpo->bpo_os, subsubobjs,
usr/src/uts/common/fs/zfs/bpobj.c
445
VERIFY3U(subdb->db_size, >=,
usr/src/uts/common/fs/zfs/bpobj.c
455
VERIFY3U(0, ==, dmu_object_free(bpo->bpo_os,
usr/src/uts/common/fs/zfs/bpobj.c
513
VERIFY3U(0, ==, dmu_buf_hold(bpo->bpo_os, bpo->bpo_object,
usr/src/uts/common/fs/zfs/bpobj.c
70
VERIFY3U(0, ==, zap_remove(dp->dp_meta_objset,
usr/src/uts/common/fs/zfs/bpobj.c
73
VERIFY3U(0, ==, dmu_object_free(os, dp->dp_empty_bpobj, tx));
usr/src/uts/common/fs/zfs/bptree.c
135
VERIFY3U(0, ==, dmu_bonus_hold(os, obj, FTAG, &db));
usr/src/uts/common/fs/zfs/bptree.c
76
VERIFY3U(0, ==, dmu_bonus_hold(os, obj, FTAG, &db));
usr/src/uts/common/fs/zfs/bptree.c
95
VERIFY3U(0, ==, dmu_bonus_hold(os, obj, FTAG, &db));
usr/src/uts/common/fs/zfs/btree.c
149
VERIFY3U(node->btc_elems[idx * size + i], ==, 0x0f);
usr/src/uts/common/fs/zfs/btree.c
156
VERIFY3U(leaf->btl_elems[(hdr->bth_first + idx)
usr/src/uts/common/fs/zfs/btree.c
1954
VERIFY3U(hdr->bth_count, >=, tree->bt_leaf_cap / 2 - 1);
usr/src/uts/common/fs/zfs/btree.c
2022
VERIFY3U(zfs_btree_verify_height_helper(tree, tree->bt_root,
usr/src/uts/common/fs/zfs/btree.c
2119
VERIFY3U(leaf->btl_elems[i], ==, 0x0f);
usr/src/uts/common/fs/zfs/btree.c
2122
VERIFY3U(leaf->btl_elems[i], ==, 0x0f);
usr/src/uts/common/fs/zfs/btree.c
2127
VERIFY3U(node->btc_elems[i], ==, 0x0f);
usr/src/uts/common/fs/zfs/dbuf.c
1803
VERIFY3U(tx->tx_txg, <=, spa_final_dirty_txg(os->os_spa));
usr/src/uts/common/fs/zfs/dbuf.c
3688
VERIFY3U(dr->dr_dbuf->db_level, ==, level);
usr/src/uts/common/fs/zfs/dnode.c
1198
VERIFY3U(1, ==, zrl_tryenter(&dnh->dnh_zrlock));
usr/src/uts/common/fs/zfs/dsl_dataset.c
842
VERIFY3U(strlcat(name, "@", ZFS_MAX_DATASET_NAME_LEN),
usr/src/uts/common/fs/zfs/dsl_dataset.c
850
VERIFY3U(strlcat(name, ds->ds_snapname,
usr/src/uts/common/fs/zfs/dsl_dataset.c
855
VERIFY3U(strlcat(name, ds->ds_snapname,
usr/src/uts/common/fs/zfs/dsl_deadlist.c
102
VERIFY3U(0, ==, dmu_bonus_hold(os, object, dl, &dl->dl_dbuf));
usr/src/uts/common/fs/zfs/dsl_deadlist.c
108
VERIFY3U(0, ==, bpobj_open(&dl->dl_bpobj, os, object));
usr/src/uts/common/fs/zfs/dsl_deadlist.c
171
VERIFY3U(0, ==, dmu_object_info(os, dlobj, &doi));
usr/src/uts/common/fs/zfs/dsl_deadlist.c
187
VERIFY3U(0, ==, dmu_object_free(os, dlobj, tx));
usr/src/uts/common/fs/zfs/dsl_deadlist.c
200
VERIFY3U(0, ==, bpobj_open(&dle->dle_bpobj, dl->dl_os, obj));
usr/src/uts/common/fs/zfs/dsl_deadlist.c
201
VERIFY3U(0, ==, zap_update_int_key(dl->dl_os, dl->dl_object,
usr/src/uts/common/fs/zfs/dsl_deadlist.c
218
VERIFY3U(0, ==, bpobj_open(&dle->dle_bpobj, dl->dl_os, obj));
usr/src/uts/common/fs/zfs/dsl_deadlist.c
219
VERIFY3U(0, ==, zap_update_int_key(dl->dl_os, dl->dl_object,
usr/src/uts/common/fs/zfs/dsl_deadlist.c
275
VERIFY3U(0, ==, bpobj_open(&dle->dle_bpobj, dl->dl_os, obj));
usr/src/uts/common/fs/zfs/dsl_deadlist.c
278
VERIFY3U(0, ==, zap_add_int_key(dl->dl_os, dl->dl_object,
usr/src/uts/common/fs/zfs/dsl_deadlist.c
308
VERIFY3U(0, ==, zap_remove_int(dl->dl_os, dl->dl_object, mintxg, tx));
usr/src/uts/common/fs/zfs/dsl_deadlist.c
330
VERIFY3U(0, ==, dsl_dataset_hold_obj(dp, mrs_obj, FTAG, &ds));
usr/src/uts/common/fs/zfs/dsl_deadlist.c
364
VERIFY3U(0, ==, zap_add_int_key(dl->dl_os, newobj,
usr/src/uts/common/fs/zfs/dsl_deadlist.c
377
VERIFY3U(0, ==, bpobj_space(&dl->dl_bpobj,
usr/src/uts/common/fs/zfs/dsl_deadlist.c
404
VERIFY3U(0, ==, bpobj_space_range(&dl->dl_bpobj,
usr/src/uts/common/fs/zfs/dsl_deadlist.c
426
VERIFY3U(0, ==, bpobj_space(&dle->dle_bpobj,
usr/src/uts/common/fs/zfs/dsl_deadlist.c
448
VERIFY3U(0, ==, bpobj_open(&bpo, dl->dl_os, obj));
usr/src/uts/common/fs/zfs/dsl_deadlist.c
449
VERIFY3U(0, ==, bpobj_space(&bpo, &used, &comp, &uncomp));
usr/src/uts/common/fs/zfs/dsl_deadlist.c
487
VERIFY3U(0, ==, dmu_object_info(dl->dl_os, obj, &doi));
usr/src/uts/common/fs/zfs/dsl_deadlist.c
490
VERIFY3U(0, ==, bpobj_open(&bpo, dl->dl_os, obj));
usr/src/uts/common/fs/zfs/dsl_deadlist.c
491
VERIFY3U(0, ==, bpobj_iterate(&bpo,
usr/src/uts/common/fs/zfs/dsl_deadlist.c
503
VERIFY3U(0, ==, zap_remove_int(dl->dl_os, obj, mintxg, tx));
usr/src/uts/common/fs/zfs/dsl_deadlist.c
507
VERIFY3U(0, ==, dmu_bonus_hold(dl->dl_os, obj, FTAG, &bonus));
usr/src/uts/common/fs/zfs/dsl_deadlist.c
542
VERIFY3U(0, ==, bpobj_space(&dle->dle_bpobj,
usr/src/uts/common/fs/zfs/dsl_deadlist.c
551
VERIFY3U(0, ==, zap_remove_int(dl->dl_os, dl->dl_object,
usr/src/uts/common/fs/zfs/dsl_deadlist.c
84
VERIFY3U(0, ==, bpobj_open(&dle->dle_bpobj, dl->dl_os,
usr/src/uts/common/fs/zfs/dsl_dir.c
327
VERIFY3U(strlcat(buf, "/", ZFS_MAX_DATASET_NAME_LEN), <,
usr/src/uts/common/fs/zfs/dsl_dir.c
338
VERIFY3U(strlcat(buf, dd->dd_myname, ZFS_MAX_DATASET_NAME_LEN),
usr/src/uts/common/fs/zfs/dsl_dir.c
342
VERIFY3U(strlcat(buf, dd->dd_myname, ZFS_MAX_DATASET_NAME_LEN),
usr/src/uts/common/fs/zfs/dsl_scan.c
2056
VERIFY3U(0, ==, zap_remove_int(dp->dp_meta_objset,
usr/src/uts/common/fs/zfs/dsl_scan.c
2128
VERIFY3U(0, ==, zap_remove_int(dp->dp_meta_objset,
usr/src/uts/common/fs/zfs/dsl_scan.c
2193
VERIFY3U(0, ==, zap_remove_int(dp->dp_meta_objset,
usr/src/uts/common/fs/zfs/dsl_scan.c
2213
VERIFY3U(0, ==, zap_remove_int(dp->dp_meta_objset,
usr/src/uts/common/fs/zfs/dsl_scan.c
2264
VERIFY3U(0, ==, dsl_dataset_hold_obj(dp, dsobj, FTAG, &ds));
usr/src/uts/common/fs/zfs/dsl_scan.c
2637
VERIFY3U(0, ==, dsl_dataset_hold_obj(dp, dsobj, FTAG, &ds));
usr/src/uts/common/fs/zfs/metaslab.c
1013
VERIFY3U(mg_hist[i], ==, mg->mg_histogram[i]);
usr/src/uts/common/fs/zfs/metaslab.c
1888
VERIFY3U(sm_free_space, ==, msp_free_space);
usr/src/uts/common/fs/zfs/metaslab.c
2078
VERIFY3U(max_segsize, ==, msp->ms_max_size);
usr/src/uts/common/fs/zfs/metaslab.c
2091
VERIFY3U(msp->ms_fragmentation, ==, frag);
usr/src/uts/common/fs/zfs/metaslab.c
2092
VERIFY3U(msp->ms_weight, ==, weight);
usr/src/uts/common/fs/zfs/metaslab.c
3662
VERIFY3U(tx->tx_txg, <=, spa_final_dirty_txg(spa));
usr/src/uts/common/fs/zfs/metaslab.c
3680
VERIFY3U(log_blocks_after, <=, log_blocks_before);
usr/src/uts/common/fs/zfs/metaslab.c
3861
VERIFY3U(txg, <=, spa_final_dirty_txg(spa));
usr/src/uts/common/fs/zfs/metaslab.c
3888
VERIFY3U(new_object, !=, 0);
usr/src/uts/common/fs/zfs/metaslab.c
3925
VERIFY3U(new_object, !=, 0);
usr/src/uts/common/fs/zfs/metaslab.c
4104
VERIFY3U(object, ==, space_map_object(msp->ms_sm));
usr/src/uts/common/fs/zfs/metaslab.c
4532
VERIFY3U(range_tree_space(rt) - size, <=, msp->ms_size);
usr/src/uts/common/fs/zfs/metaslab.c
505
VERIFY3U(mc_hist[i], ==, mc->mc_histogram[i]);
usr/src/uts/common/fs/zfs/metaslab.c
5223
VERIFY3U(offset, >=, msp->ms_start);
usr/src/uts/common/fs/zfs/metaslab.c
5224
VERIFY3U(offset + asize, <=, msp->ms_start + msp->ms_size);
usr/src/uts/common/fs/zfs/metaslab.c
5468
VERIFY3U(offset, >=, msp->ms_start);
usr/src/uts/common/fs/zfs/metaslab.c
5469
VERIFY3U(offset + size, <=, msp->ms_start + msp->ms_size);
usr/src/uts/common/fs/zfs/metaslab.c
5470
VERIFY3U(range_tree_space(msp->ms_allocatable) + size, <=,
usr/src/uts/common/fs/zfs/metaslab.c
5585
VERIFY3U(range_tree_space(msp->ms_allocatable) - size, <=,
usr/src/uts/common/fs/zfs/range_tree.c
120
VERIFY3U(hist[i], ==, rt->rt_histogram[i]);
usr/src/uts/common/fs/zfs/range_tree.c
422
VERIFY3U(size, !=, 0);
usr/src/uts/common/fs/zfs/range_tree.c
423
VERIFY3U(size, <=, rt->rt_space);
usr/src/uts/common/fs/zfs/range_tree.c
468
VERIFY3U(rs_get_start(rs, rt), <=, start);
usr/src/uts/common/fs/zfs/range_tree.c
469
VERIFY3U(rs_get_end(rs, rt), >=, end);
usr/src/uts/common/fs/zfs/range_tree.c
823
VERIFY3U(start, <, end);
usr/src/uts/common/fs/zfs/range_tree.c
867
VERIFY3U(start, <, end);
usr/src/uts/common/fs/zfs/range_tree.c
870
VERIFY3U(start, ==, end);
usr/src/uts/common/fs/zfs/spa.c
4799
VERIFY3U(0, ==, nvlist_add_uint64(features, za.za_name,
usr/src/uts/common/fs/zfs/spa.c
4812
VERIFY3U(0, ==, nvlist_add_uint64(features, za.za_name,
usr/src/uts/common/fs/zfs/spa.c
5309
VERIFY3U(0, ==, bpobj_open(&spa->spa_deferred_bpobj,
usr/src/uts/common/fs/zfs/spa.c
7844
VERIFY3U(bpobj_iterate(&spa->spa_deferred_bpobj,
usr/src/uts/common/fs/zfs/spa_checkpoint.c
226
VERIFY3U(sme->sme_type, ==, SM_FREE);
usr/src/uts/common/fs/zfs/spa_checkpoint.c
227
VERIFY3U(sme->sme_offset, >=, ms->ms_start);
usr/src/uts/common/fs/zfs/spa_checkpoint.c
228
VERIFY3U(end, <=, ms->ms_start + ms->ms_size);
usr/src/uts/common/fs/zfs/spa_log_spacemap.c
377
VERIFY3U(ms_in_logs, ==, ms_in_summary);
usr/src/uts/common/fs/zfs/spa_log_spacemap.c
378
VERIFY3U(ms_in_logs, ==, ms_in_avl);
usr/src/uts/common/fs/zfs/spa_log_spacemap.c
379
VERIFY3U(blk_in_logs, ==, blk_in_summary);
usr/src/uts/common/fs/zfs/spa_log_spacemap.c
380
VERIFY3U(blk_in_logs, ==, spa_log_sm_nblocks(spa));
usr/src/uts/common/fs/zfs/spa_log_spacemap.c
514
VERIFY3U(blocks_gone, ==, e->lse_blkcount);
usr/src/uts/common/fs/zfs/space_map.c
115
VERIFY3U(block_length, !=, 0);
usr/src/uts/common/fs/zfs/space_map.c
340
VERIFY3U(entry_offset, >=, sm->sm_start);
usr/src/uts/common/fs/zfs/space_map.c
341
VERIFY3U(entry_offset, <, sm->sm_start + sm->sm_size);
usr/src/uts/common/fs/zfs/space_map.c
342
VERIFY3U(entry_run, <=, sm->sm_size);
usr/src/uts/common/fs/zfs/space_map.c
343
VERIFY3U(entry_offset + entry_run, <=,
usr/src/uts/common/fs/zfs/space_map.c
384
VERIFY3U(range_tree_space(smla->smla_rt) + sme->sme_run, <=,
usr/src/uts/common/fs/zfs/space_map.c
460
VERIFY3U(space_map_object(sm), !=, 0);
usr/src/uts/common/fs/zfs/space_map.c
740
VERIFY3U(space_map_object(sm), !=, 0);
usr/src/uts/common/fs/zfs/space_map.c
752
VERIFY3U(sm->sm_object, ==, sm->sm_phys->smp_object);
usr/src/uts/common/fs/zfs/space_map.c
770
VERIFY3U(nodes, ==, zfs_btree_numnodes(&rt->rt_root));
usr/src/uts/common/fs/zfs/space_map.c
771
VERIFY3U(range_tree_space(rt), ==, rt_space);
usr/src/uts/common/fs/zfs/space_map.c
841
VERIFY3U(dmu_tx_get_txg(tx), <=, spa_final_dirty_txg(spa));
usr/src/uts/common/fs/zfs/vdev.c
2819
VERIFY3U(new_object, !=, 0);
usr/src/uts/common/fs/zfs/vdev_file.c
284
VERIFY3U(taskq_dispatch(system_taskq, vdev_file_io_strategy, bp,
usr/src/uts/common/fs/zfs/vdev_indirect_mapping.c
519
VERIFY3U(inner_offset, <, size);
usr/src/uts/common/fs/zfs/vdev_indirect_mapping.c
522
VERIFY3U(counts[index] + inner_size, <=, size);
usr/src/uts/common/fs/zfs/vdev_raidz.c
1697
VERIFY3U(offset + size, <=, origoffset + SPA_OLD_MAXBLOCKSIZE);
usr/src/uts/common/fs/zfs/vdev_raidz.c
1752
VERIFY3U(colsize, <=, rc->rc_size);
usr/src/uts/common/fs/zfs/vdev_raidz.c
1753
VERIFY3U(colskip, <=, rc->rc_size);
usr/src/uts/common/fs/zfs/vdev_trim.c
1110
VERIFY3U(msp->ms_disabled, >, 0);
usr/src/uts/common/fs/zfs/vdev_trim.c
212
VERIFY3U(vd->vdev_leaf_zap, !=, 0);
usr/src/uts/common/fs/zfs/zcp.c
1004
VERIFY3U(3, ==, lua_gettop(ri->zri_state));
usr/src/uts/common/fs/zfs/zcp.c
1060
VERIFY3U(1, ==, luaopen_base(state));
usr/src/uts/common/fs/zfs/zcp.c
1062
VERIFY3U(1, ==, luaopen_coroutine(state));
usr/src/uts/common/fs/zfs/zcp.c
1065
VERIFY3U(1, ==, luaopen_string(state));
usr/src/uts/common/fs/zfs/zcp.c
1068
VERIFY3U(1, ==, luaopen_table(state));
usr/src/uts/common/fs/zfs/zcp.c
1082
VERIFY3U(1, ==, zcp_load_list_lib(state));
usr/src/uts/common/fs/zfs/zcp.c
1084
VERIFY3U(1, ==, zcp_load_synctask_lib(state, B_FALSE));
usr/src/uts/common/fs/zfs/zcp.c
1086
VERIFY3U(1, ==, zcp_load_synctask_lib(state, B_TRUE));
usr/src/uts/common/fs/zfs/zcp.c
1088
VERIFY3U(1, ==, zcp_load_get_lib(state));
usr/src/uts/common/fs/zfs/zcp.c
1101
VERIFY3U(1, ==, lua_gettop(state));
usr/src/uts/common/fs/zfs/zcp.c
1120
VERIFY3U(2, ==, lua_gettop(state));
usr/src/uts/common/fs/zfs/zcp.c
1134
VERIFY3U(3, ==, lua_gettop(state));
usr/src/uts/common/fs/zfs/zcp.c
1225
VERIFY3U(len, >, vsnprintf(errmsg, len, fmt, argp));
usr/src/uts/common/fs/zfs/zcp.c
1255
VERIFY3U(len, >, strlcat(errmsg, ": ", len));
usr/src/uts/common/fs/zfs/zcp.c
1256
VERIFY3U(len, >, strlcat(errmsg, fname, len));
usr/src/uts/common/fs/zfs/zcp.c
1257
VERIFY3U(len, >, strlcat(errmsg, "{", len));
usr/src/uts/common/fs/zfs/zcp.c
1259
VERIFY3U(len, >, strlcat(errmsg, "<", len));
usr/src/uts/common/fs/zfs/zcp.c
1260
VERIFY3U(len, >, strlcat(errmsg, pargs[i].za_name, len));
usr/src/uts/common/fs/zfs/zcp.c
1261
VERIFY3U(len, >, strlcat(errmsg, "(", len));
usr/src/uts/common/fs/zfs/zcp.c
1262
VERIFY3U(len, >, strlcat(errmsg,
usr/src/uts/common/fs/zfs/zcp.c
1264
VERIFY3U(len, >, strlcat(errmsg, ")>", len));
usr/src/uts/common/fs/zfs/zcp.c
1266
VERIFY3U(len, >, strlcat(errmsg, ", ", len));
usr/src/uts/common/fs/zfs/zcp.c
1270
VERIFY3U(len, >, strlcat(errmsg, kwargs[i].za_name, len));
usr/src/uts/common/fs/zfs/zcp.c
1271
VERIFY3U(len, >, strlcat(errmsg, "=(", len));
usr/src/uts/common/fs/zfs/zcp.c
1272
VERIFY3U(len, >, strlcat(errmsg,
usr/src/uts/common/fs/zfs/zcp.c
1274
VERIFY3U(len, >, strlcat(errmsg, ")", len));
usr/src/uts/common/fs/zfs/zcp.c
1276
VERIFY3U(len, >, strlcat(errmsg, ", ", len));
usr/src/uts/common/fs/zfs/zcp.c
1279
VERIFY3U(len, >, strlcat(errmsg, "}", len));
usr/src/uts/common/fs/zfs/zcp.c
136
VERIFY3U(1, ==, lua_gettop(state));
usr/src/uts/common/fs/zfs/zcp.c
276
VERIFY3U(sizeof (buf), >,
usr/src/uts/common/fs/zfs/zcp.c
440
VERIFY3U(1, ==, lua_gettop(state));
usr/src/uts/common/fs/zfs/zcp.c
816
VERIFY3U(3, ==, lua_gettop(state));
usr/src/uts/common/fs/zfs/zcp.c
831
VERIFY3U(3, ==, lua_gettop(state));
usr/src/uts/common/fs/zfs/zcp.c
907
VERIFY3U(1, ==, lua_gettop(state));
usr/src/uts/common/fs/zfs/zcp.c
927
VERIFY3U(1, ==, lua_gettop(state));
usr/src/uts/common/fs/zfs/zcp.c
989
VERIFY3U(3, ==, lua_gettop(ri->zri_state));
usr/src/uts/common/fs/zfs/zcp_get.c
349
VERIFY3U(strlcpy(strval, token, ZAP_MAXVALUELEN), <,
usr/src/uts/common/fs/zfs/zcp_get.c
354
VERIFY3U(strlcpy(strval, token, ZAP_MAXVALUELEN), <,
usr/src/uts/common/fs/zfs/zcp_iter.c
172
VERIFY3U(sizeof (snapname), >,
usr/src/uts/common/fs/zfs/zcp_iter.c
270
VERIFY3U(sizeof (childname), >,
usr/src/uts/common/fs/zfs/zfeature.c
316
VERIFY3U(*refcount_cache, ==,
usr/src/uts/common/fs/zfs/zfeature.c
403
VERIFY3U(feature_get_refcount(spa, feature, &refcount), !=, ENOTSUP);
usr/src/uts/common/fs/zfs/zfeature.c
407
VERIFY3U(refcount, !=, UINT64_MAX);
usr/src/uts/common/fs/zfs/zfeature.c
411
VERIFY3U(refcount, !=, 0);
usr/src/uts/common/fs/zfs/zfs_dir.c
475
VERIFY3U(0, ==,
usr/src/uts/common/fs/zfs/zfs_dir.c
746
VERIFY3U(0, ==,
usr/src/uts/common/fs/zfs/zfs_fuid.c
583
VERIFY3U(type, >=, ZFS_OWNER);
usr/src/uts/common/fs/zfs/zfs_fuid.c
584
VERIFY3U(type, <=, ZFS_ACE_GROUP);
usr/src/uts/common/fs/zfs/zfs_vfsops.c
649
VERIFY3U(sa.sa_magic, ==, SA_MAGIC);
usr/src/uts/common/fs/zfs/zfs_vfsops.c
653
VERIFY3U(hdrsize, >=, sizeof (sa_hdr_phys_t));
usr/src/uts/common/fs/zfs/zfs_vnops.c
4227
VERIFY3U(zfs_link_destroy(tdl, szp, tx,
usr/src/uts/common/fs/zfs/zio.c
1609
VERIFY3U(psize, !=, 0);
usr/src/uts/common/fs/zfs/zio.c
240
VERIFY3U(c, <, SPA_MAXBLOCKSIZE >> SPA_MINBLOCKSHIFT);
usr/src/uts/common/fs/zfs/zio.c
256
VERIFY3U(c, <, SPA_MAXBLOCKSIZE >> SPA_MINBLOCKSHIFT);
usr/src/uts/common/fs/zfs/zio.c
266
VERIFY3U(c, <, SPA_MAXBLOCKSIZE >> SPA_MINBLOCKSHIFT);
usr/src/uts/common/fs/zfs/zio.c
276
VERIFY3U(c, <, SPA_MAXBLOCKSIZE >> SPA_MINBLOCKSHIFT);
usr/src/uts/common/fs/zfs/zvol.c
1147
VERIFY3U(size, <=, zv->zv_volblocksize);
usr/src/uts/common/fs/zfs/zvol.c
1322
VERIFY3U(boff + resid, <=, zv->zv_volsize);
usr/src/uts/common/fs/zfs/zvol.c
274
VERIFY3U(ma->ma_blks, ==, zb->zb_blkid);
usr/src/uts/common/inet/tcp/tcp_sig.c
1287
VERIFY3U(sa->ts_key.sak_algid, ==, SADB_AALG_MD5);
usr/src/uts/common/inet/tcp/tcp_sig.c
500
VERIFY3U(sa->ts_refcnt, >, 0);
usr/src/uts/common/io/aggr/aggr_grp.c
2945
VERIFY3U(avp->av_refs, ==, 0);
usr/src/uts/common/io/cxgbe/t4nex/t4_sge.c
180
VERIFY3U(idx, <, sc->sge.iqmap_sz);
usr/src/uts/common/io/cxgbe/t4nex/t4_sge.c
188
VERIFY3U(idx, <, sc->sge.eqmap_sz);
usr/src/uts/common/io/eedev/eedev.c
426
VERIFY3U(hdl->eh_flags & targ, ==, targ);
usr/src/uts/common/io/eedev/eedev.c
472
VERIFY3U(eh->eh_flags & EEDEV_F_USABLE, !=, 0);
usr/src/uts/common/io/eedev/eedev.c
660
VERIFY3U(hdl->eh_size, ==, reg->ereg_size);
usr/src/uts/common/io/eedev/eedev.c
661
VERIFY3U(hdl->eh_seg, ==, reg->ereg_seg);
usr/src/uts/common/io/eedev/eedev.c
662
VERIFY3U(hdl->eh_read_gran, ==, reg->ereg_read_gran);
usr/src/uts/common/io/eedev/eedev.c
663
VERIFY3U(hdl->eh_write_gran, ==, reg->ereg_write_gran);
usr/src/uts/common/io/eedev/eedev.c
665
VERIFY3U(hdl->eh_max_read, ==, reg->ereg_max_read);
usr/src/uts/common/io/eedev/eedev.c
669
VERIFY3U(hdl->eh_max_write, ==, reg->ereg_max_write);
usr/src/uts/common/io/eedev/eedev.c
904
VERIFY3U(hdl->eh_flags & EEDEV_F_HELD, !=, 0);
usr/src/uts/common/io/eedev/eedev.c
905
VERIFY3U(hdl->eh_flags & EEDEV_F_USABLE, !=, 0);
usr/src/uts/common/io/ena/ena.c
1879
VERIFY3U(ena->ena_attach_seq, >=, ENA_ATTACH_INTR_ALLOC);
usr/src/uts/common/io/ena/ena.c
1956
VERIFY3U(ena->ena_attach_seq, >=, ENA_ATTACH_INTR_ALLOC);
usr/src/uts/common/io/ena/ena.c
2267
VERIFY3U(ena->ena_attach_seq, <, ENA_ATTACH_NUM_ENTRIES);
usr/src/uts/common/io/ena/ena.c
520
VERIFY3U(feat_id, <=, ENAHW_FEAT_NUM);
usr/src/uts/common/io/ena/ena.c
543
VERIFY3U(cap_id, <=, ENAHW_CAP_NUM);
usr/src/uts/common/io/ena/ena.h
149
VERIFY3U(ENA_DMA_BIT_MASK((ena)->ena_dma_width) & (phys_addr), \
usr/src/uts/common/io/ena/ena_admin.c
115
VERIFY3U(cmd->ecd_opcode, !=, 0);
usr/src/uts/common/io/ena/ena_hw.c
29
VERIFY3U(addr, >=, ena->ena_reg_base);
usr/src/uts/common/io/ena/ena_hw.c
30
VERIFY3U(addr, <, ena->ena_reg_base + (ena->ena_reg_size - 4));
usr/src/uts/common/io/ena/ena_hw.c
47
VERIFY3U(addr, >=, ena->ena_reg_base);
usr/src/uts/common/io/ena/ena_hw.c
48
VERIFY3U(addr, <, ena->ena_reg_base + (ena->ena_reg_size - 4));
usr/src/uts/common/io/ena/ena_rx.c
33
VERIFY3U(tail_mod, <, rxq->er_sq_num_descs);
usr/src/uts/common/io/ena/ena_rx.c
368
VERIFY3U(head_mod, <, rxq->er_cq_num_descs);
usr/src/uts/common/io/ena/ena_rx.c
392
VERIFY3U(req_id, <, rxq->er_cq_num_descs);
usr/src/uts/common/io/ena/ena_tx.c
331
VERIFY3U(len, >, 0);
usr/src/uts/common/io/ena/ena_tx.c
334
VERIFY3U(len, <=, MBLKL(mp));
usr/src/uts/common/io/ena/ena_tx.c
335
VERIFY3U((uintptr_t)soff + len, <=, (uintptr_t)mp->b_wptr);
usr/src/uts/common/io/ena/ena_tx.c
336
VERIFY3U(tcb->etcb_dma.edb_used_len + len, <, tcb->etcb_dma.edb_len);
usr/src/uts/common/io/ena/ena_tx.c
350
VERIFY3U(msgsize(mp), <, ena->ena_tx_buf_sz);
usr/src/uts/common/io/ena/ena_tx.c
377
VERIFY3U(mlen, <=, ENAHW_TX_DESC_LENGTH_MASK);
usr/src/uts/common/io/i2c/ctrl/i2csim/i2csim.c
252
VERIFY3U(buflen, >=, sizeof (val));
usr/src/uts/common/io/i2c/ctrl/i2csim/i2csim.c
532
VERIFY3U(ret, ==, I2C_CTRL_REG_E_OK);
usr/src/uts/common/io/i2c/ctrl/ismt/ismt.c
265
VERIFY3U(buflen, >=, sizeof (val));
usr/src/uts/common/io/i2c/ctrl/ismt/ismt.c
326
VERIFY3U(ismt->ismt_i2creq->ir_rlen, ==,
usr/src/uts/common/io/i2c/ctrl/ismt/ismt.c
581
VERIFY3U(req->smbr_wlen, <=, ISMT_MAX_SMBUS);
usr/src/uts/common/io/i2c/ctrl/ismt/ismt.c
590
VERIFY3U(req->smbr_wlen, >, 0);
usr/src/uts/common/io/i2c/ctrl/ismt/ismt.c
591
VERIFY3U(req->smbr_wlen, <=, ISMT_MAX_I2C);
usr/src/uts/common/io/i2c/ctrl/ismt/ismt.c
621
VERIFY3U(req->smbr_rlen, >, 0);
usr/src/uts/common/io/i2c/ctrl/ismt/ismt.c
622
VERIFY3U(req->smbr_rlen, <=, ISMT_MAX_SMBUS);
usr/src/uts/common/io/i2c/ctrl/ismt/ismt.c
631
VERIFY3U(req->smbr_rlen, >, 0);
usr/src/uts/common/io/i2c/ctrl/ismt/ismt.c
632
VERIFY3U(req->smbr_rlen, <=, ISMT_MAX_I2C);
usr/src/uts/common/io/i2c/ctrl/ismt/ismt.c
706
VERIFY3U(req->ir_rlen, <, ISMT_MAX_I2C);
usr/src/uts/common/io/i2c/ctrl/ismt/ismt.c
723
VERIFY3U(req->ir_wlen, >, 0);
usr/src/uts/common/io/i2c/ctrl/ismt/ismt.c
724
VERIFY3U(req->ir_wlen, <, ISMT_MAX_I2C);
usr/src/uts/common/io/i2c/ctrl/pchsmbus/pchsmbus.c
243
VERIFY3U(buflen, >=, sizeof (val));
usr/src/uts/common/io/i2c/eeprom/at24c/at24c.c
193
VERIFY3U(*clino, <, at->at_naddrs);
usr/src/uts/common/io/i2c/eeprom/at24c/at24c.c
338
VERIFY3U(at->at_naddrs, >, 0);
usr/src/uts/common/io/i2c/eeprom/spd511x/spd511x.c
206
VERIFY3U(page, <, HUB_NVM_NPAGES);
usr/src/uts/common/io/i2c/eeprom/spd511x/spd511x.c
207
VERIFY3U(pageoff, <, HUB_NVM_PAGE_SIZE);
usr/src/uts/common/io/i2c/gpio/pca953x/pca953x.c
117
VERIFY3U(gpio_id, <=, UINT8_MAX);
usr/src/uts/common/io/i2c/gpio/pca953x/pca953x.c
118
VERIFY3U(gpio_id, <, pca->pca_ident->pi_ngpios);
usr/src/uts/common/io/i2c/mux/ltc430x/ltc430x.c
136
VERIFY3U(port, !=, I2C_MUX_PORT_ALL);
usr/src/uts/common/io/i2c/mux/ltc430x/ltc430x.c
137
VERIFY3U(port, <, ltc->ltc_ident->li_nports);
usr/src/uts/common/io/i2c/mux/ltc430x/ltc430x.c
269
VERIFY3U(gpio_id, <, ARRAY_SIZE(ltc430x_gpio_names));
usr/src/uts/common/io/i2c/mux/pca954x/pca954x.c
100
VERIFY3U(port, !=, I2C_MUX_PORT_ALL);
usr/src/uts/common/io/i2c/mux/pca954x/pca954x.c
101
VERIFY3U(port, <, pca->pca_ident->pi_nports);
usr/src/uts/common/io/i2c/mux/pca954x/pca954x.c
123
VERIFY3U(port, ==, I2C_MUX_PORT_ALL);
usr/src/uts/common/io/i2c/nexus/i2cnex.c
1056
VERIFY3U(nex->in_type, ==, I2C_NEXUS_T_DEV);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
343
VERIFY3U(addr->ia_type, ==, I2C_ADDR_7BIT);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
344
VERIFY3U(track->at_refcnt[addr->ia_addr], >, 0);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
345
VERIFY3U(track->at_downstream[addr->ia_addr], ==, true);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
346
VERIFY3U(track->at_major[addr->ia_addr], ==, DDI_MAJOR_T_NONE);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
363
VERIFY3U(addr->ia_type, ==, I2C_ADDR_7BIT);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
366
VERIFY3U(track->at_refcnt[addr->ia_addr], >, 0);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
367
VERIFY3U(track->at_major[addr->ia_addr], ==, DDI_MAJOR_T_NONE);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
368
VERIFY3U(track->at_downstream[addr->ia_addr], ==, false);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
391
VERIFY3U(check->ipa_addr->ia_type, ==, I2C_ADDR_7BIT);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
422
VERIFY3U(addr->ia_type, ==, I2C_ADDR_7BIT);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
425
VERIFY3U(track->at_downstream[addr->ia_addr], ==, true);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
426
VERIFY3U(track->at_major[addr->ia_addr], ==, DDI_MAJOR_T_NONE);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
443
VERIFY3U(addr->ia_type, ==, I2C_ADDR_7BIT);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
495
VERIFY3U(addr->ia_type, ==, I2C_ADDR_7BIT);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
498
VERIFY3U(track->at_refcnt[addr->ia_addr], >, 0);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
499
VERIFY3U(track->at_downstream[addr->ia_addr], ==, false);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
500
VERIFY3U(track->at_major[addr->ia_addr], ==, alloc->iaa_major);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
517
VERIFY3U(addr->ia_type, ==, I2C_ADDR_7BIT);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
531
VERIFY3U(addr->ia_type, ==, I2C_ADDR_7BIT);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
534
VERIFY3U(track->at_downstream[addr->ia_addr], ==, false);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
535
VERIFY3U(track->at_major[addr->ia_addr], ==, alloc->iaa_major);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
554
VERIFY3U(addr->ia_type, ==, I2C_ADDR_7BIT);
usr/src/uts/common/io/i2c/nexus/i2cnex_addr.c
574
VERIFY3U(track->at_downstream[addr->ia_addr], ==, false);
usr/src/uts/common/io/i2c/nexus/i2cnex_client.c
276
VERIFY3U(client->icli_curthread, ==, 0);
usr/src/uts/common/io/i2c/nexus/i2cnex_client.c
278
VERIFY3U(i2c_bus_lock(client, 0, &txn), ==, I2C_CORE_E_OK);
usr/src/uts/common/io/i2c/nexus/i2cnex_client.c
295
VERIFY3U(list_is_empty(&client->icli_regs), !=, 0);
usr/src/uts/common/io/i2c/nexus/i2cnex_client.c
428
VERIFY3U(nex->in_pnex->in_type, ==, I2C_NEXUS_T_PORT);
usr/src/uts/common/io/i2c/nexus/i2cnex_client.c
501
VERIFY3U(client->icli_curthread, ==, curthread);
usr/src/uts/common/io/i2c/nexus/i2cnex_client.c
940
VERIFY3U(req->ir_rlen, <=, sizeof (req->ir_rdata));
usr/src/uts/common/io/i2c/nexus/i2cnex_client.c
955
VERIFY3U(hdl->reg_attr.i2cacc_reg_len, ==, sizeof (uint16_t));
usr/src/uts/common/io/i2c/nexus/i2cnex_ctrl.c
231
VERIFY3U(list_is_empty(&lock->cl_stack), !=, 0);
usr/src/uts/common/io/i2c/nexus/i2cnex_ctrl.c
232
VERIFY3U(list_is_empty(&lock->cl_waiters), !=, 0);
usr/src/uts/common/io/i2c/nexus/i2cnex_ctrl.c
357
VERIFY3U(len, ==, sizeof (uint32_t));
usr/src/uts/common/io/i2c/nexus/i2cnex_ctrl.c
373
VERIFY3U(len, ==, sizeof (uint32_t));
usr/src/uts/common/io/i2c/nexus/i2cnex_ctrl.c
400
VERIFY3U(len, ==, sizeof (uint32_t));
usr/src/uts/common/io/i2c/nexus/i2cnex_ctrl.c
423
VERIFY3U(len, ==, sizeof (uint32_t));
usr/src/uts/common/io/i2c/nexus/i2cnex_device.c
63
VERIFY3U(port->ip_ndevs_ds, >, 0);
usr/src/uts/common/io/i2c/nexus/i2cnex_mux.c
234
VERIFY3U(port, !=, UINT32_MAX);
usr/src/uts/common/io/i2c/nexus/i2cnex_mux.c
306
VERIFY3U(list_link_active(&port->ip_ctrl_link), !=, 0);
usr/src/uts/common/io/i2c/nexus/i2cnex_mux.c
402
VERIFY3U(ctrl->ic_mux_state, ==, I2C_CTRL_MA_NONE);
usr/src/uts/common/io/i2c/nexus/i2cnex_mux.c
96
VERIFY3U(pnex->in_type, ==, I2C_NEXUS_T_DEV);
usr/src/uts/common/io/i2c/nexus/i2cnex_props.c
290
VERIFY3U(min, <=, max);
usr/src/uts/common/io/i2c/nexus/i2cnex_txn.c
140
VERIFY3U(txn->txn_state, !=, I2C_TXN_STATE_UNLOCKED);
usr/src/uts/common/io/i2c/nexus/i2cnex_txn.c
153
VERIFY3U(lock->cl_owner, !=, txn);
usr/src/uts/common/io/i2c/nexus/i2cnex_txn.c
154
VERIFY3U(list_link_active(&txn->txn_wait_link), !=, 0);
usr/src/uts/common/io/i2c/nexus/i2cnex_txn.c
178
VERIFY3U(txn->txn_state, ==, I2C_TXN_STATE_ACQUIRED);
usr/src/uts/common/io/i2c/nexus/i2cnex_txn.c
212
VERIFY3U(list_is_empty(&lock->cl_waiters), !=, 0);
usr/src/uts/common/io/i2c/nexus/i2cnex_txn.c
238
VERIFY3U(txn->txn_state, ==, I2C_TXN_STATE_UNLOCKED);
usr/src/uts/common/io/i2c/nexus/i2cnex_txn.c
257
VERIFY3U(list_link_active(&txn->txn_wait_link), ==, 0);
usr/src/uts/common/io/i2c/nexus/i2cnex_txn.c
261
VERIFY3U(txn->txn_state, ==, I2C_TXN_STATE_ACQUIRED);
usr/src/uts/common/io/i2c/nexus/i2cnex_txn.c
278
VERIFY3U(txn->txn_state, ==, I2C_TXN_STATE_ACQUIRED);
usr/src/uts/common/io/i2c/nexus/i2cnex_txn.c
279
VERIFY3U(lock->cl_nexus_thr, ==, curthread);
usr/src/uts/common/io/i2c/nexus/i2cnex_txn.c
301
VERIFY3U(txn->txn_state, ==, I2C_TXN_STATE_ACQUIRED);
usr/src/uts/common/io/i2c/nexus/i2cnex_txn.c
304
VERIFY3U(lock->cl_nexus_thr, ==, curthread);
usr/src/uts/common/io/i2c/nexus/i2cnex_txn.c
31
VERIFY3U(txn->txn_state, ==, I2C_TXN_STATE_UNLOCKED);
usr/src/uts/common/io/i2c/nexus/i2cnex_txn.c
83
VERIFY3U(list_link_active(&txn->txn_wait_link), ==, 0);
usr/src/uts/common/io/i2c/nexus/i2cnex_user.c
123
VERIFY3U(user->iu_flags & I2C_USER_F_CTRL_LOCK, !=, 0);
usr/src/uts/common/io/i2c/nexus/i2cnex_user.c
39
VERIFY3U(user->iu_thread, ==, 0);
usr/src/uts/common/io/i2c/nexus/i2cnex_user.c
403
VERIFY3U(client->icli_addr.ia_type, ==, I2C_ADDR_7BIT);
usr/src/uts/common/io/i2c/nexus/i2cnex_user.c
72
VERIFY3U(user->iu_thread, ==, curthread);
usr/src/uts/common/io/i2c/nexus/i2cnex_util.c
77
VERIFY3U(nex->in_type, ==, I2C_NEXUS_T_DEV);
usr/src/uts/common/io/i2c/sensor/tmp43x/tmp43x.c
262
VERIFY3U(tmp43x_reg_type(reg), ==, TMP43X_REG_TYPE_1B);
usr/src/uts/common/io/i2c/sensor/tmp43x/tmp43x.c
289
VERIFY3U(tmp43x_reg_type(reg), ==, TMP43X_REG_TYPE_1B);
usr/src/uts/common/io/i2c/sensor/tmp43x/tmp43x.c
316
VERIFY3U(tmp43x_reg_type(reg), ==, TMP43X_REG_TYPE_TEMP);
usr/src/uts/common/io/i40e/i40e_intr.c
186
VERIFY3U(val, <=, I40E_MAX_ITR);
usr/src/uts/common/io/i40e/i40e_intr.c
187
VERIFY3U(itr, <, I40E_ITR_INDEX_NONE);
usr/src/uts/common/io/i40e/i40e_intr.c
372
VERIFY3U(reg, ==, I40E_QUEUE_TYPE_EOL);
usr/src/uts/common/io/igc/igc.c
1085
VERIFY3U(led, <, 3);
usr/src/uts/common/io/ixgbe/ixgbe_main.c
4982
VERIFY3U(ixgbe->aci_event.buf_len, ==, IXGBE_ACI_MAX_BUFFER_SIZE);
usr/src/uts/common/io/ixgbe/ixgbe_main.c
6955
VERIFY3U(vlp->ixvl_refs, >, 1);
usr/src/uts/common/io/ixgbe/ixgbe_main.c
6970
VERIFY3U(vlp->ixvl_refs, ==, 1);
usr/src/uts/common/io/ixgbe/ixgbe_osdep.c
75
VERIFY3U(len, !=, 0);
usr/src/uts/common/io/ixgbe/ixgbe_osdep.c
85
VERIFY3U(nelem, !=, 0);
usr/src/uts/common/io/ixgbe/ixgbe_osdep.c
86
VERIFY3U(eltsize, !=, 0);
usr/src/uts/common/io/ixgbe/ixgbe_osdep.c
89
VERIFY3U(total / nelem, ==, eltsize);
usr/src/uts/common/io/ixgbe/ixgbe_osdep.c
97
VERIFY3U(len, !=, 0);
usr/src/uts/common/io/mac/mac.c
2283
VERIFY3U(srs_quiesce_flag, ==, SRS_QUIESCE);
usr/src/uts/common/io/mac/mac.c
5444
VERIFY3U(mvp->mv_vid, !=, vid);
usr/src/uts/common/io/mac/mac_datapath_setup.c
3427
VERIFY3U(mip->mi_nactiveclients, ==, 1);
usr/src/uts/common/io/mac/mac_ktest.c
289
VERIFY3U(off & 1, ==, 0);
usr/src/uts/common/io/mac/mac_ktest.c
290
VERIFY3U(off + 2, <=, msgdsize(mp));
usr/src/uts/common/io/mac/mac_soft_ring.c
156
VERIFY3U(type & SR_STATE, ==, 0);
usr/src/uts/common/io/mac/mac_soft_ring.c
219
VERIFY3U((type & ST_RING_TX), ==, 0);
usr/src/uts/common/io/mac/mac_soft_ring.c
242
VERIFY3U((type & ST_RING_TX), ==, 0);
usr/src/uts/common/io/mlxcx/mlxcx.c
1849
VERIFY3U(mlxp->mlx_nports, >, 0);
usr/src/uts/common/io/mlxcx/mlxcx_cmd.c
1446
VERIFY3U(strlcpy(in.mlxi_set_driver_version_version, version,
usr/src/uts/common/io/mlxcx/mlxcx_cmd.c
1485
VERIFY3U(mlup->mlu_num, >, 0);
usr/src/uts/common/io/mlxcx/mlxcx_cmd.c
2516
VERIFY3U(mlwq->mlwq_type, ==, MLXCX_WQ_TYPE_RECVQ);
usr/src/uts/common/io/mlxcx/mlxcx_cmd.c
3393
VERIFY3U(mlwq->mlwq_type, ==, MLXCX_WQ_TYPE_SENDQ);
usr/src/uts/common/io/mlxcx/mlxcx_cmd.c
745
VERIFY3U(cmd->mlcmd_nboxes_in, ==, 0);
usr/src/uts/common/io/mlxcx/mlxcx_cmd.c
774
VERIFY3U(i, ==, cmd->mlcmd_nboxes_in);
usr/src/uts/common/io/mlxcx/mlxcx_cmd.c
810
VERIFY3U(i, ==, cmd->mlcmd_nboxes_out);
usr/src/uts/common/io/mlxcx/mlxcx_gld.c
1612
VERIFY3U(mlxp->mlx_nports, ==, 1);
usr/src/uts/common/io/mlxcx/mlxcx_gld.c
562
VERIFY3U(sq->mlwq_inline_mode, <=, MLXCX_ETH_INLINE_L2);
usr/src/uts/common/io/mlxcx/mlxcx_intr.c
780
VERIFY3U(func, <=, MLXCX_FUNC_ID_MAX);
usr/src/uts/common/io/mlxcx/mlxcx_ring.c
1579
VERIFY3U(inlinelen, <=, sizeof (ent0->mlsqe_eth.mles_inline_headers));
usr/src/uts/common/io/mlxcx/mlxcx_ring.c
2441
VERIFY3U(b->mlb_state, ==, MLXCX_BUFFER_ON_WQ);
usr/src/uts/common/io/mlxcx/mlxcx_ring.c
2509
VERIFY3U(oldstate, !=, MLXCX_BUFFER_FREE);
usr/src/uts/common/io/mlxcx/mlxcx_ring.c
460
VERIFY3U(port->mlp_wqe_min_inline, <=, MLXCX_ETH_INLINE_L2);
usr/src/uts/common/io/nvme/nvme.c
1368
VERIFY3U(lock->nml_bd_own, ==, 0);
usr/src/uts/common/io/nvme/nvme.c
1379
VERIFY3U(lock->nml_bd_own, ==, (uintptr_t)curthread);
usr/src/uts/common/io/nvme/nvme.c
1388
VERIFY3U(ns->ns_state, <, NVME_NS_NSTATES);
usr/src/uts/common/io/nvme/nvme.c
5826
VERIFY3U(dfl->dfl_num_exts, >, 0);
usr/src/uts/common/io/nvme/nvme.c
5827
VERIFY3U(dfl->dfl_num_exts, <=, NVME_DSET_MGMT_MAX_RANGES);
usr/src/uts/common/io/nvme/nvme.c
5848
VERIFY3U(len, <=, UINT32_MAX);
usr/src/uts/common/io/nvme/nvme_lock.c
370
VERIFY3U(list_link_active(&info->nli_node), !=, 0);
usr/src/uts/common/io/nvme/nvme_lock.c
374
VERIFY3U(list_link_active(&info->nli_node), ==, 0);
usr/src/uts/common/io/nvme/nvme_lock.c
489
VERIFY3U(req->nil_ent, ==, NVME_LOCK_E_NS);
usr/src/uts/common/io/nvme/nvme_validate.c
195
VERIFY3U(info->err_field_unuse, !=, 0);
usr/src/uts/common/io/nvme/nvme_validate.c
203
VERIFY3U(info->err_field_unsup, !=, 0);
usr/src/uts/common/io/nvme/nvme_validate.c
206
VERIFY3U(info->err_field_range, !=, 0);
usr/src/uts/common/io/pciex/hotplug/pciehpc.c
2180
VERIFY3U(ctrl_p->hc_has_pwr, ==, B_FALSE);
usr/src/uts/common/io/scsi/adapters/lmrc/lmrc.c
215
VERIFY3U(mpt->mpt_smid, !=, 0);
usr/src/uts/common/io/scsi/adapters/lmrc/lmrc.c
299
VERIFY3U(queue, ==, 0);
usr/src/uts/common/io/scsi/adapters/lmrc/lmrc.c
445
VERIFY3U(reply->SMID, <=, lmrc->l_max_fw_cmds);
usr/src/uts/common/io/scsi/adapters/lmrc/lmrc.c
631
VERIFY3U(cb, !=, NULL);
usr/src/uts/common/io/scsi/adapters/lmrc/lmrc.c
634
VERIFY3U(cb, ==, NULL);
usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_ddi.c
1035
VERIFY3U(count, ==, ncmd);
usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_ddi.c
1110
VERIFY3U(count, ==, ncmd);
usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_ddi.c
1169
VERIFY3U(nsge, <=, max_sge);
usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_ddi.c
1208
VERIFY3U(len, >, 0);
usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_ddi.c
1209
VERIFY3U(align, >=, 1);
usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_ddi.c
456
VERIFY3U(ret, ==, DDI_SUCCESS);
usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_phys.c
166
VERIFY3U(pdmap_sz, ==, dma->ld_len);
usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_phys.c
291
VERIFY3U(dev_id, <, LMRC_MAX_PD);
usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_raid.c
219
VERIFY3U(lmrc->l_raidmap->rm_raidmap_sz, ==, dma->ld_len);
usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_raid.c
357
VERIFY3U(tgtid, <, LMRC_MAX_LD);
usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_raid.c
463
VERIFY3U(tgt->tgt_lmrc, ==, lmrc);
usr/src/uts/common/io/scsi/adapters/lmrc/lmrc_raid.c
467
VERIFY3U(tgt->tgt_dev_id, ==, tgtid);
usr/src/uts/common/io/scsi/adapters/mpt_sas/mptsas.c
2316
VERIFY3U(mep->me_nslots, >, 0);
usr/src/uts/common/io/scsi/adapters/smrt/smrt_ciss_simple.c
142
VERIFY3U(smcm->smcm_tag, ==, SMRT_PRE_TAG_NUMBER);
usr/src/uts/common/io/scsi/adapters/smrt/smrt_commands.c
114
VERIFY3U(smdma->smdma_dma_ncookies, ==, 1);
usr/src/uts/common/io/scsi/adapters/smrt/smrt_commands.c
130
VERIFY3U(ddi_dma_unbind_handle(smdma->smdma_dma_handle), ==,
usr/src/uts/common/io/scsi/adapters/smrt/smrt_commands.c
259
VERIFY3U(len, <=, UINT32_MAX);
usr/src/uts/common/io/scsi/adapters/smrt/smrt_device.c
55
VERIFY3U(cfg_offset, !=, 0xffffffff);
usr/src/uts/common/io/scsi/adapters/smrt/smrt_device.c
56
VERIFY3U(mem_offset, !=, 0xffffffff);
usr/src/uts/common/io/scsi/adapters/smrt/smrt_hba.c
360
VERIFY3U(pkt->pkt_scblen, >=, sizeof (struct scsi_arq_status));
usr/src/uts/common/io/usb/clients/ccid/ccid.c
1126
VERIFY3U(mblen, >=, sizeof (cch));
usr/src/uts/common/io/usb/clients/ccid/ccid.c
1457
VERIFY3U(seq, <=, UINT8_MAX);
usr/src/uts/common/io/usb/clients/ccid/ccid.c
1555
VERIFY3U(mlen + len, >=, len);
usr/src/uts/common/io/usb/clients/ccid/ccid.c
1556
VERIFY3U(mlen + len, >=, mlen);
usr/src/uts/common/io/usb/clients/ccid/ccid.c
1558
VERIFY3U(mlen, <=, cc->cc_ubrp->bulk_len);
usr/src/uts/common/io/usb/clients/ccid/ccid.c
1856
VERIFY3U(mlen, >=, len + sizeof (ccid_header_t));
usr/src/uts/common/io/usb/clients/ccid/ccid.c
2888
VERIFY3U(ccid->ccid_slots[i].cs_slotno, ==, i);
usr/src/uts/common/io/usb/clients/ccid/ccid.c
3417
VERIFY3U(cmp->cm_idx.cmi_minor, ==, CCID_MINOR_INVALID);
usr/src/uts/common/io/usb/hcd/xhci/xhci_dma.c
480
VERIFY3U(xt->xt_buffer.xdb_ncookies, ==, 1);
usr/src/uts/common/io/usb/hcd/xhci/xhci_dma.c
58
VERIFY3U(sgl, >, 0);
usr/src/uts/common/io/usb/hcd/xhci/xhci_dma.c
59
VERIFY3U(sgl, <=, XHCI_TRANSFER_DMA_SGL);
usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c
111
VERIFY3U(xep->xep_num, !=, XHCI_DEFAULT_ENDPOINT);
usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c
135
VERIFY3U(xep->xep_num, !=, XHCI_DEFAULT_ENDPOINT);
usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c
1430
VERIFY3U(XHCI_TRB_GET_ED(LE_32(trb->trb_flags)), !=, 0);
usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c
789
VERIFY3U(xhci_endpoint_pipe_to_epid(ph), ==, xep->xep_num);
usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c
790
VERIFY3U(xep->xep_num, !=, XHCI_DEFAULT_ENDPOINT);
usr/src/uts/common/io/usb/hcd/xhci/xhci_endpoint.c
807
VERIFY3U(xep->xep_timeout, ==, 0);
usr/src/uts/common/io/vio9p/vio9p.c
208
VERIFY3U(vin->vin_nreqs, >, 0);
usr/src/uts/common/io/vio9p/vio9p.c
296
VERIFY3U(virtio_dma_ncookies(vnr->vnr_dma_out), <=, VIRTIO_9P_MAX_SGL);
usr/src/uts/common/io/vio9p/vio9p.c
317
VERIFY3U(virtio_dma_ncookies(vnr->vnr_dma_in), <=, VIRTIO_9P_MAX_SGL);
usr/src/uts/common/io/vio9p/vio9p.c
791
VERIFY3U(wsz, <=, virtio_dma_size(vnr->vnr_dma_out));
usr/src/uts/common/io/vioblk/vioblk.c
195
VERIFY3U(vib->vib_nreqs_alloc, >, 0);
usr/src/uts/common/io/vioblk/vioblk.c
790
VERIFY3U(vib->vib_nreqs_alloc, ==, 0);
usr/src/uts/common/io/vioif/vioif.c
1116
VERIFY3U(vif->vif_tx_reclaim_tid, ==, 0);
usr/src/uts/common/io/vioif/vioif.c
1117
VERIFY3U(virtio_queue_nactive(vif->vif_tx_vq), ==, 0);
usr/src/uts/common/io/vioif/vioif.c
1125
VERIFY3U(msg_size, <=, virtio_dma_size(tb->tb_dma) - VIOIF_HEADER_SKIP);
usr/src/uts/common/io/vioif/vioif.c
2230
VERIFY3U(vif->vif_ntxbufs_alloc, ==, 0);
usr/src/uts/common/io/vioif/vioif.c
281
VERIFY3U(vif->vif_ntxbufs_alloc, >, 0);
usr/src/uts/common/io/vioif/vioif.c
307
VERIFY3U(vif->vif_nrxbufs_alloc, >, 0);
usr/src/uts/common/io/vioif/vioif.c
327
VERIFY3U(vif->vif_nrxbufs_onloan, >, 0);
usr/src/uts/common/io/vioif/vioif.c
360
VERIFY3U(vif->vif_nctrlbufs_alloc, >, 0);
usr/src/uts/common/io/vioif/vioif.c
372
VERIFY3U(vif->vif_ntxbufs_alloc, ==, 0);
usr/src/uts/common/io/vioif/vioif.c
420
VERIFY3U(vif->vif_nrxbufs_alloc, ==, 0);
usr/src/uts/common/io/vioif/vioif.c
449
VERIFY3U(vif->vif_nctrlbufs_alloc, ==, 0);
usr/src/uts/common/io/vioif/vioif.c
554
VERIFY3U(virtio_dma_ncookies(tb->tb_dma), ==, 1);
usr/src/uts/common/io/vioif/vioif.c
579
VERIFY3U(virtio_dma_ncookies(cb->cb_dma), ==, 1);
usr/src/uts/common/io/vioif/vioif.c
613
VERIFY3U(virtio_dma_cookie_size(rb->rb_dma, 0), >=,
usr/src/uts/common/io/vioif/vioif.c
620
VERIFY3U((uintptr_t)virtio_dma_va(rb->rb_dma,
usr/src/uts/common/io/vioif/vioif.c
829
VERIFY3U(sz, >, VIOIF_HEADER_SKIP);
usr/src/uts/common/io/virtio/virtio_dma.c
286
VERIFY3U(ddi_dma_unbind_handle(vidma->vidma_dma_handle), ==,
usr/src/uts/common/io/virtio/virtio_dma.c
81
VERIFY3U(offset, <, vidma->vidma_size);
usr/src/uts/common/io/virtio/virtio_dma.c
89
VERIFY3U(cookie, <, vidma->vidma_dma_ncookies);
usr/src/uts/common/io/virtio/virtio_dma.c
97
VERIFY3U(cookie, <, vidma->vidma_dma_ncookies);
usr/src/uts/common/io/virtio/virtio_legacy.c
194
VERIFY3U(status, !=, 0);
usr/src/uts/common/io/virtio/virtio_main.c
1237
VERIFY3U(vic->vic_direct_used, ==, 1);
usr/src/uts/common/io/virtio/virtio_main.c
1276
VERIFY3U(vic->vic_direct_capacity, ==, 1);
usr/src/uts/common/io/virtio/virtio_main.c
1313
VERIFY3U(vic->vic_direct_capacity, ==, 1);
usr/src/uts/common/io/virtio/virtio_main.c
1483
VERIFY3U(vic->vic_direct_used, ==, 1);
usr/src/uts/common/io/virtio/virtio_modern.c
228
VERIFY3U(status, !=, 0);
usr/src/uts/common/os/cpu_uarray.c
57
VERIFY3U(index, <, cua->cu_nr_items);
usr/src/uts/common/os/cyclic.c
3189
VERIFY3U(cc->cyp_cyclics[idp->cyi_ndx].cy_flags &
usr/src/uts/common/os/kcpc.c
572
VERIFY3U(ctxop_remove(t, &kcpc_ctxop_tpl, ctx), !=, 0);
usr/src/uts/common/os/vm_pageout.c
1119
VERIFY3U(inst, <, MAX_PSCAN_THREADS);
usr/src/uts/common/os/vm_pageout.c
1168
VERIFY3U(inst, !=, 0);
usr/src/uts/common/os/vm_pageout.c
1187
VERIFY3U(span, >, handspreadpages);
usr/src/uts/common/os/vm_pageout.c
1342
VERIFY3U(inst, ==, 0);
usr/src/uts/i86pc/os/startup.c
633
VERIFY3U(i, <, _smap_enable_patch_count);
usr/src/uts/i86pc/os/timestamp.c
1105
VERIFY3U(tsc_freq, >, 0);
usr/src/uts/i86pc/vm/hat_i86.c
1163
VERIFY3U(((uintptr_t)cpu->cpu_m.mcpu_ldt) % MMU_PAGESIZE, ==, 0);
usr/src/uts/i86pc/vm/hat_i86.c
4992
VERIFY3U(pfn, !=, PFN_INVALID);
usr/src/uts/i86pc/vm/hat_i86.c
696
VERIFY3U(hat->hat_flags & HAT_PCP, ==, 0);
usr/src/uts/i86pc/vm/vm_machdep.c
1438
VERIFY3U(nr_ranges, <=, mnoderangecnt);
usr/src/uts/intel/io/amdzen/zen_umc.c
3501
VERIFY3U(df->zud_nchan, <=, ZEN_UMC_MAX_UMCS);
usr/src/uts/intel/io/viona/viona_ring.c
810
VERIFY3U(ring->vr_state, ==, VRS_SETUP);
usr/src/uts/intel/io/viona/viona_ring.c
862
VERIFY3U(ring->vr_state, ==, VRS_STOP);
usr/src/uts/intel/io/viona/viona_ring.c
863
VERIFY3U(ring->vr_xfer_outstanding, ==, 0);
usr/src/uts/intel/io/vmm/amd/svm.c
423
VERIFY3U(((uintptr_t)svm_sc & PAGE_MASK), ==, 0);
usr/src/uts/intel/io/vmm/amd/svm_pmu.c
368
VERIFY3U(req->vdr_class, ==, VDC_PMU_AMD);
usr/src/uts/intel/io/vmm/amd/svm_pmu.c
369
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/amd/svm_pmu.c
370
VERIFY3U(req->vdr_len, >=, sizeof (struct vdi_pmu_amd_v1));
usr/src/uts/intel/io/vmm/amd/svm_pmu.c
391
VERIFY3U(req->vdr_class, ==, VDC_PMU_AMD);
usr/src/uts/intel/io/vmm/amd/svm_pmu.c
392
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/amd/svm_pmu.c
393
VERIFY3U(req->vdr_len, >=, sizeof (struct vdi_pmu_amd_v1));
usr/src/uts/intel/io/vmm/intel/vmx.c
697
VERIFY3U((uintptr_t)vmx & PAGE_MASK, ==, 0);
usr/src/uts/intel/io/vmm/intel/vmx.c
742
VERIFY3U((uintptr_t)vmx->apic_access_page & PAGEOFFSET, ==, 0);
usr/src/uts/intel/io/vmm/intel/vmx_msr.c
157
VERIFY3U((uintptr_t)bitmap & PAGEOFFSET, ==, 0);
usr/src/uts/intel/io/vmm/io/iommu.c
191
VERIFY3U(iommu_refcnt, <, UINT_MAX);
usr/src/uts/intel/io/vmm/io/iommu.c
201
VERIFY3U(iommu_refcnt, >, 0);
usr/src/uts/intel/io/vmm/io/vatpic.c
806
VERIFY3U(req->vdr_class, ==, VDC_ATPIC);
usr/src/uts/intel/io/vmm/io/vatpic.c
807
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/io/vatpic.c
808
VERIFY3U(req->vdr_len, >=, sizeof (struct vdi_atpic_v1));
usr/src/uts/intel/io/vmm/io/vatpic.c
867
VERIFY3U(req->vdr_class, ==, VDC_ATPIC);
usr/src/uts/intel/io/vmm/io/vatpic.c
868
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/io/vatpic.c
869
VERIFY3U(req->vdr_len, >=, sizeof (struct vdi_atpic_v1));
usr/src/uts/intel/io/vmm/io/vatpit.c
545
VERIFY3U(req->vdr_class, ==, VDC_ATPIT);
usr/src/uts/intel/io/vmm/io/vatpit.c
546
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/io/vatpit.c
547
VERIFY3U(req->vdr_len, >=, sizeof (struct vdi_atpit_v1));
usr/src/uts/intel/io/vmm/io/vatpit.c
599
VERIFY3U(req->vdr_class, ==, VDC_ATPIT);
usr/src/uts/intel/io/vmm/io/vatpit.c
600
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/io/vatpit.c
601
VERIFY3U(req->vdr_len, >=, sizeof (struct vdi_atpit_v1));
usr/src/uts/intel/io/vmm/io/vhpet.c
789
VERIFY3U(req->vdr_class, ==, VDC_HPET);
usr/src/uts/intel/io/vmm/io/vhpet.c
790
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/io/vhpet.c
791
VERIFY3U(req->vdr_len, >=, sizeof (struct vdi_hpet_v1));
usr/src/uts/intel/io/vmm/io/vhpet.c
904
VERIFY3U(req->vdr_class, ==, VDC_HPET);
usr/src/uts/intel/io/vmm/io/vhpet.c
905
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/io/vhpet.c
906
VERIFY3U(req->vdr_len, >=, sizeof (struct vdi_hpet_v1));
usr/src/uts/intel/io/vmm/io/vioapic.c
459
VERIFY3U(req->vdr_class, ==, VDC_IOAPIC);
usr/src/uts/intel/io/vmm/io/vioapic.c
460
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/io/vioapic.c
461
VERIFY3U(req->vdr_len, >=, sizeof (struct vdi_ioapic_v1));
usr/src/uts/intel/io/vmm/io/vioapic.c
481
VERIFY3U(req->vdr_class, ==, VDC_IOAPIC);
usr/src/uts/intel/io/vmm/io/vioapic.c
482
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/io/vioapic.c
483
VERIFY3U(req->vdr_len, >=, sizeof (struct vdi_ioapic_v1));
usr/src/uts/intel/io/vmm/io/vlapic.c
1825
VERIFY3U(req->vdr_class, ==, VDC_LAPIC);
usr/src/uts/intel/io/vmm/io/vlapic.c
1826
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/io/vlapic.c
1827
VERIFY3U(req->vdr_len, >=, sizeof (struct vdi_lapic_v1));
usr/src/uts/intel/io/vmm/io/vlapic.c
1983
VERIFY3U(req->vdr_class, ==, VDC_LAPIC);
usr/src/uts/intel/io/vmm/io/vlapic.c
1984
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/io/vlapic.c
1985
VERIFY3U(req->vdr_len, >=, sizeof (struct vdi_lapic_v1));
usr/src/uts/intel/io/vmm/io/vlapic.c
1998
VERIFY3U(page->vlp_version, ==, lapic->version);
usr/src/uts/intel/io/vmm/io/vpmtmr.c
164
VERIFY3U(req->vdr_class, ==, VDC_PM_TIMER);
usr/src/uts/intel/io/vmm/io/vpmtmr.c
165
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/io/vpmtmr.c
166
VERIFY3U(req->vdr_len, >=, sizeof (struct vdi_pm_timer_v1));
usr/src/uts/intel/io/vmm/io/vpmtmr.c
180
VERIFY3U(req->vdr_class, ==, VDC_PM_TIMER);
usr/src/uts/intel/io/vmm/io/vpmtmr.c
181
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/io/vpmtmr.c
182
VERIFY3U(req->vdr_len, >=, sizeof (struct vdi_pm_timer_v1));
usr/src/uts/intel/io/vmm/io/vrtc.c
1328
VERIFY3U(req->vdr_class, ==, VDC_RTC);
usr/src/uts/intel/io/vmm/io/vrtc.c
1329
VERIFY3U(req->vdr_version, ==, 2);
usr/src/uts/intel/io/vmm/io/vrtc.c
1330
VERIFY3U(req->vdr_len, >=, sizeof (struct vdi_rtc_v2));
usr/src/uts/intel/io/vmm/io/vrtc.c
1350
VERIFY3U(req->vdr_class, ==, VDC_RTC);
usr/src/uts/intel/io/vmm/io/vrtc.c
1351
VERIFY3U(req->vdr_version, ==, 2);
usr/src/uts/intel/io/vmm/io/vrtc.c
1352
VERIFY3U(req->vdr_len, >=, sizeof (struct vdi_rtc_v2));
usr/src/uts/intel/io/vmm/vmm.c
4196
VERIFY3U(req->vdr_class, ==, VDC_MSR);
usr/src/uts/intel/io/vmm/vmm.c
4197
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/vmm.c
4257
VERIFY3U(req->vdr_class, ==, VDC_MSR);
usr/src/uts/intel/io/vmm/vmm.c
4258
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/vmm.c
4355
VERIFY3U(req->vdr_class, ==, VDC_VMM_ARCH);
usr/src/uts/intel/io/vmm/vmm.c
4356
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/vmm.c
4412
VERIFY3U(req->vdr_class, ==, VDC_VMM_ARCH);
usr/src/uts/intel/io/vmm/vmm.c
4413
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/vmm.c
4462
VERIFY3U(req->vdr_class, ==, VDC_VMM_ARCH);
usr/src/uts/intel/io/vmm/vmm.c
4463
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/vmm.c
4831
VERIFY3U(frac_size, >, 0);
usr/src/uts/intel/io/vmm/vmm.c
4850
VERIFY3U(guest_hz, !=, 0);
usr/src/uts/intel/io/vmm/vmm.c
4851
VERIFY3U(frac_size, >, 0);
usr/src/uts/intel/io/vmm/vmm.c
4852
VERIFY3U(frac_size, <, 64);
usr/src/uts/intel/io/vmm/vmm.c
4926
VERIFY3U(req->vdr_class, ==, VDC_VMM_TIME);
usr/src/uts/intel/io/vmm/vmm.c
4927
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/vmm.c
4928
VERIFY3U(req->vdr_len, >=, sizeof (struct vdi_time_info_v1));
usr/src/uts/intel/io/vmm/vmm.c
4989
VERIFY3U(req->vdr_class, ==, VDC_VMM_TIME);
usr/src/uts/intel/io/vmm/vmm.c
4990
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/vmm.c
4991
VERIFY3U(req->vdr_len, >=, sizeof (struct vdi_time_info_v1));
usr/src/uts/intel/io/vmm/vmm.c
5034
VERIFY3U(mult, ==, VM_TSCM_NOSCALE);
usr/src/uts/intel/io/vmm/vmm.c
5037
VERIFY3U(mult, !=, VM_TSCM_NOSCALE);
usr/src/uts/intel/io/vmm/vmm.c
5091
VERIFY3U(req->vdr_class, ==, VDC_VERSION);
usr/src/uts/intel/io/vmm/vmm.c
5092
VERIFY3U(req->vdr_version, ==, 1);
usr/src/uts/intel/io/vmm/vmm_gpt.c
390
VERIFY3U(gpt->vgpt_root->vgn_ref_cnt, ==, 0);
usr/src/uts/intel/io/vmm/vmm_gpt.c
943
VERIFY3U(end, <=, vmm_gpt_node_end(node));
usr/src/uts/intel/io/vmm/vmm_instruction_emul.c
3079
VERIFY3U(gpa + len, <=, hold_gpa + PAGESIZE);
usr/src/uts/intel/io/vmm/vmm_instruction_emul.c
500
VERIFY3U(regnum, <, 16);
usr/src/uts/intel/io/vmm/vmm_instruction_emul.c
507
VERIFY3U(regnum, <, 16);
usr/src/uts/intel/io/vmm/vmm_ioport.c
117
VERIFY3U(i, ==, ndefault);
usr/src/uts/intel/io/vmm/vmm_reservoir.c
451
VERIFY3U(vmmr_alloc_sz, ==, 0);
usr/src/uts/intel/io/vmm/vmm_reservoir.c
452
VERIFY3U(vmmr_free_sz, ==, 0);
usr/src/uts/intel/io/vmm/vmm_reservoir.c
453
VERIFY3U(vmmr_adding_sz, ==, 0);
usr/src/uts/intel/io/vmm/vmm_reservoir.c
454
VERIFY3U(vmmr_alloc_transient_sz, ==, 0);
usr/src/uts/intel/io/vmm/vmm_reservoir.c
455
VERIFY3U(vmmr_free_transient_sz, ==, 0);
usr/src/uts/intel/io/vmm/vmm_reservoir.c
491
VERIFY3U(sz & PAGEOFFSET, ==, 0);
usr/src/uts/intel/io/vmm/vmm_reservoir.c
508
VERIFY3U(vmmr_free_transient_sz, >=, sz);
usr/src/uts/intel/io/vmm/vmm_reservoir.c
560
VERIFY3U(off & PAGEOFFSET, ==, 0);
usr/src/uts/intel/io/vmm/vmm_reservoir.c
561
VERIFY3U(off, <, region->vr_size);
usr/src/uts/intel/io/vmm/vmm_reservoir.c
584
VERIFY3U(region->vr_size, <=, vmmr_alloc_sz);
usr/src/uts/intel/io/vmm/vmm_reservoir.c
586
VERIFY3U(region->vr_size, <=, vmmr_alloc_transient_sz);
usr/src/uts/intel/io/vmm/vmm_reservoir.c
708
VERIFY3U(sz & PAGEOFFSET, ==, 0);
usr/src/uts/intel/io/vmm/vmm_reservoir.c
743
VERIFY3U(sz & PAGEOFFSET, ==, 0);
usr/src/uts/intel/io/vmm/vmm_reservoir.c
744
VERIFY3U(sz, >, 0);
usr/src/uts/intel/io/vmm/vmm_reservoir.c
858
VERIFY3U(sz & PAGEOFFSET, ==, 0);
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
2008
VERIFY3U(vmmdev_hma_ref, ==, 0);
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
2035
VERIFY3U(vmmdev_hma_ref, !=, 0);
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
2304
VERIFY3U(sc->vmm_lease_blocker, !=, UINT_MAX);
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
2390
VERIFY3U(sc->vmm_lease_blocker, !=, 0);
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
3064
VERIFY3U(sc->vmm_flags & VMM_IS_OPEN, !=, 0);
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
3459
VERIFY3U(vmmdev_hma_reg, ==, NULL);
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
357
VERIFY3U(vcpu_get_state(sc->vmm_vm, vcpu, NULL), ==, VCPU_FROZEN);
usr/src/uts/intel/io/vmm/vmm_vm.c
601
VERIFY3U(ref, !=, UINT_MAX);
usr/src/uts/intel/io/vmm/vmm_vm.c
632
VERIFY3U(ref, !=, 0);
usr/src/uts/intel/os/cpuid.c
2699
VERIFY3U(nthreads, ==, 2);
usr/src/uts/intel/os/cpuid.c
2791
VERIFY3U(nthreads, ==, 2);
usr/src/uts/intel/os/cpuid.c
3170
VERIFY3U(*stuff, !=, ret);
usr/src/uts/intel/os/cpuid.c
3185
VERIFY3U(*stuff, ==, *vmx_stuff);
usr/src/uts/intel/os/cpuid.c
3228
VERIFY3U(source, !=, 0);
usr/src/uts/intel/os/cpuid.c
3229
VERIFY3U(dest, !=, 0);
usr/src/uts/intel/os/cpuid.c
6518
VERIFY3U(bit & xsave_bv_all, !=, 0);
usr/src/uts/intel/os/fpu.c
2628
VERIFY3U(ret, <=, UINT32_MAX);
usr/src/uts/intel/os/fpu.c
2941
VERIFY3U(fpu->fpu_flags & FPU_EN, ==, FPU_EN);
usr/src/uts/intel/os/fpu.c
3123
VERIFY3U(fpu->fpu_flags & FPU_EN, ==, FPU_EN);
usr/src/uts/intel/os/hma.c
437
VERIFY3U(status, ==, HCS_READY);
usr/src/uts/intel/os/microcode_amd.c
433
VERIFY3U(ucodefp->uf_header.uh_patch_id, ==, uinfop->cui_pending_rev);
usr/src/uts/intel/promif/prom_emul.c
173
VERIFY3U(top, <, ARRAY_SIZE(stack));
usr/src/uts/intel/promif/prom_emul.c
178
VERIFY3U(top, <, ARRAY_SIZE(stack));
usr/src/uts/sfmmu/vm/hat_sfmmu.c
4030
VERIFY3U(rid, <, SFMMU_MAX_HME_REGIONS);