IMPLY
IMPLY(osp->os_mstrtab != NULL, isp != NULL);
IMPLY(ret != NULL, errno == 0);
IMPLY(pData == NULL, ulDataLen == 0);
IMPLY(sd->sd_dacl != NULL,
IMPLY(sd->sd_sacl != NULL,
IMPLY(abd->abd_parent != NULL, !(abd->abd_flags & ABD_FLAG_OWNER));
IMPLY(abd->abd_flags & ABD_FLAG_META, abd->abd_flags & ABD_FLAG_OWNER);
IMPLY(!abd_is_linear(aiter->iter_abd), zfs_abd_chunk_size ==
IMPLY(shared, HDR_SHARED_DATA(buf->b_hdr));
IMPLY(shared, ARC_BUF_SHARED(buf));
IMPLY(shared, ARC_BUF_COMPRESSED(buf) || ARC_BUF_LAST(buf));
IMPLY(compressed, hdr_compressed || ARC_BUF_ENCRYPTED(buf));
IMPLY(compressed, ARC_BUF_COMPRESSED(buf));
IMPLY(encrypted, HDR_ENCRYPTED(hdr));
IMPLY(encrypted, ARC_BUF_ENCRYPTED(buf));
IMPLY(encrypted, ARC_BUF_COMPRESSED(buf));
IMPLY(encrypted, !ARC_BUF_SHARED(buf));
IMPLY(encrypted, compressed);
IMPLY(hdr->b_l1hdr.b_bufcnt > 0, lastbuf != NULL);
IMPLY(hdr->b_l1hdr.b_bufcnt > 0, hdr->b_l1hdr.b_buf != NULL);
IMPLY(lastbuf != NULL, ARC_BUF_LAST(lastbuf));
IMPLY(alloc_rdata, HDR_PROTECTED(hdr));
IMPLY(free_rdata, HDR_HAS_RABD(hdr));
IMPLY(bytes < 0, bytes == ARC_EVICT_ALL);
IMPLY(bytes < 0, bytes == ARC_EVICT_ALL);
IMPLY(request_raw, !split_large_blocks);
IMPLY(request_raw, BP_IS_PROTECTED(bp));
IMPLY((txg_how & TXG_WAIT), !dsl_pool_config_held(tx->tx_pool));
IMPLY(flag & DNODE_DRY_RUN, (tag == NULL) && (dnp == NULL));
IMPLY(keyformat == ZFS_KEYFORMAT_PASSPHRASE, iters != 0);
IMPLY(keyformat == ZFS_KEYFORMAT_PASSPHRASE, salt != 0);
IMPLY(keyformat != ZFS_KEYFORMAT_PASSPHRASE, iters == 0);
IMPLY(keyformat != ZFS_KEYFORMAT_PASSPHRASE, salt == 0);
IMPLY(TREE_CMP(m1->ms_start, m2->ms_start) == 0, m1 == m2);
IMPLY(reg_length != 0, reg_length == buflen);
IMPLY(ret != -1ULL,
IMPLY(words == 1, vdev_id == SM_NO_VDEVID);
IMPLY(evict_func_sync == NULL, evict_func_async != NULL);
IMPLY(index >= 1, dva_mapping_overlap_compare(&offset,
IMPLY(entry->vime_obsolete_count != 0,
IMPLY(vd->vdev_top == vd,
IMPLY(vd->vdev_top == vd,
IMPLY(vd->vdev_top == vd,
IMPLY(vd->vdev_top == vd,
IMPLY(itx != NULL, itx->itx_lr.lrc_txtype != TX_COMMIT);
IMPLY(nlwb != NULL, lwb->lwb_state != LWB_STATE_OPENED);
IMPLY(lwb != NULL, lwb->lwb_state != LWB_STATE_CLOSED);
IMPLY(lwb != NULL,
IMPLY(abd_is_linear(zio->io_abd), abd_is_linear(data));
IMPLY(type != ZIO_TYPE_TRIM, psize <= SPA_MAXBLOCKSIZE);
IMPLY(lsize != psize, (flags & ZIO_FLAG_RAW_COMPRESS) != 0);
IMPLY(inject_delay_count > 0, zio_injection_enabled > 0);
IMPLY(zio_injection_enabled == 0, inject_delay_count == 0);
IMPLY(dlp->dl_qos_offset != 0, dlp->dl_qos_length != 0);
IMPLY(dlp->dl_qos_range_offset != 0,
IMPLY(dlp->dl_addr_offset != 0, dlp->dl_addr_length != 0);
IMPLY(dlp->dl_brdcst_addr_offset != 0,
IMPLY(IS_CLTS(tep), tep->te_closewait == 0);
IMPLY(IS_COTS(tep), tep->te_closewait == 1);
IMPLY(peer_tep, tep->te_serializer == peer_tep->te_serializer);
IMPLY(tip->ti_tep != NULL,
IMPLY(rc == 0,
IMPLY(rc == 0, (tep->te_transport == peer_tep->te_transport));
IMPLY((qflag & (QPERMOD | QMTOUTPERIM)), dmp != NULL);
IMPLY((qflag & (QPERMOD | QMTOUTPERIM)), dmp != NULL);
IMPLY(sq->sq_servcount == 0, sq->sq_next == NULL);
IMPLY(sq->sq_next != NULL, sq->sq_svcflags & SQ_BGTHREAD);
IMPLY(tail != NULL, tail->link == NULL); \
IMPLY(sq->sq_head != NULL, sq->sq_head->q_sqprev == NULL);\
IMPLY(sq->sq_tail != NULL, sq->sq_tail->q_sqnext == NULL);\
IMPLY(sq->sq_head == NULL, sq->sq_pri == 0); \
IMPLY(STREAM_NEEDSERVICE(stp),
IMPLY(idleb->tqbucket_nfree == 0, IS_EMPTY(idleb->tqbucket_freelist));
IMPLY(idleb->tqbucket_nfree != 0, !IS_EMPTY(idleb->tqbucket_freelist));
IMPLY((flags & TASKQ_DYNAMIC), !(flags & TASKQ_CPR_SAFE));
IMPLY((flags & TASKQ_DYNAMIC), !(flags & TASKQ_THREADS_CPU_PCT));
IMPLY((flags & TASKQ_CPR_SAFE), !(flags & TASKQ_THREADS_CPU_PCT));
IMPLY((flags & TASKQ_DYNAMIC), !(flags & TASKQ_DUTY_CYCLE));
IMPLY((flags & TASKQ_DUTY_CYCLE), proc != &p0);
IMPLY((flags & TASKQ_THREADS_LWP), proc != &p0);
IMPLY(slots > 1, xnfp->xnf_be_tx_sg);
IMPLY(more_data, xnf_enable_rx_sg);
IMPLY(kpti_enable, hat == kas.a_hat);
IMPLY((req_flags & HCF_EN_EXTD) != 0, (req_flags & HCF_EN_BASE) != 0);