EFSYS_ASSERT
EFSYS_ASSERT(eecp->eec_rx != NULL);
EFSYS_ASSERT(eecp->eec_tx != NULL);
EFSYS_ASSERT(eecp->eec_timer != NULL);
EFSYS_ASSERT(eecp->eec_wake_up != NULL);
EFSYS_ASSERT(eecp->eec_initialized != NULL);
EFSYS_ASSERT(eecp->eec_software != NULL);
EFSYS_ASSERT(rc == ENODEV); /* Wrong port */
EFSYS_ASSERT(eecp->eec_txq_flush_done != NULL);
EFSYS_ASSERT(eecp->eec_rxq_flush_done != NULL);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(eecp->eec_rx_ps != NULL);
EFSYS_ASSERT(ef10_filter_entry_spec(eftp, index) != NULL);
EFSYS_ASSERT(mcdi_list_length <= buffer_length);
EFSYS_ASSERT(ef10_filter_entry_spec(eftp, index) != NULL);
EFSYS_ASSERT(mcdi_list_length + mcdi_encap_list_length <=
EFSYS_ASSERT(eftp->eft_unicst_filter_count <=
EFSYS_ASSERT(eftp->eft_unicst_filter_count <=
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT((using_rss == B_FALSE) ||
EFSYS_ASSERT(using_rss == B_FALSE);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(0);
EFSYS_ASSERT(0);
EFSYS_ASSERT(0);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(infop != NULL);
EFSYS_ASSERT((infop != NULL) && (headerpp != NULL));
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_features & EFX_FEATURE_MCDI_DMA);
EFSYS_ASSERT(*pf_countp != 0);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(bufnump);
EFSYS_ASSERT(handlep);
EFSYS_ASSERT(blknump);
EFSYS_ASSERT(offsetp);
EFSYS_ASSERT(sizep);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(B_FALSE);
EFSYS_ASSERT(partnp != NULL);
EFSYS_ASSERT(typep != NULL);
EFSYS_ASSERT(0);
EFSYS_ASSERT(resultp != NULL);
EFSYS_ASSERT(ps_buf_size == 0);
EFSYS_ASSERT(es_bufs_per_desc == 0);
EFSYS_ASSERT(enp->en_rx_qcount != 0);
EFSYS_ASSERT(0);
EFSYS_ASSERT(rxq_state->eers_rx_packed_stream);
EFSYS_ASSERT(rxq_state->eers_rx_packed_stream);
EFSYS_ASSERT(length % sizeof (efx_qword_t) == 0);
EFSYS_ASSERT(size <=
EFSYS_ASSERT(size <= etp->et_enp->en_nic_cfg.enc_tx_dma_desc_size_max);
EFSYS_ASSERT(count >= EFX_TX_FATSOV2_OPT_NDESCS);
EFSYS_ASSERT(EFX_TXQ_MAX_BUFS >=
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(0);
EFSYS_ASSERT(!DHCP_IS_ENCAP_OPT(opt));
EFSYS_ASSERT(hdrp->tag == DHCP_ENCAPSULATED(opt));
EFSYS_ASSERT(used_bytes >= 2); /* checksum and EFX_DHCP_END */
EFSYS_ASSERT(used_bytes <= sector_length);
EFSYS_ASSERT(sector_length >= 2);
EFSYS_ASSERT(used_bytes >= 2); /* checksum and EFX_DHCP_END */
EFSYS_ASSERT(used_bytes <= sector_length);
EFSYS_ASSERT(eecp->eec_sram != NULL);
EFSYS_ASSERT(eecp->eec_wake_up != NULL);
EFSYS_ASSERT(eecp->eec_timer != NULL);
EFSYS_ASSERT(eecp->eec_exception != NULL);
EFSYS_ASSERT(eecp->eec_exception != NULL);
EFSYS_ASSERT(eecp->eec_software != NULL);
EFSYS_ASSERT(eecp->eec_link_change != NULL);
EFSYS_ASSERT(eecp->eec_exception != NULL);
EFSYS_ASSERT(eecp->eec_monitor != NULL);
EFSYS_ASSERT(rc == ENODEV); /* Wrong port */
EFSYS_ASSERT(ticks > 0);
EFSYS_ASSERT(0);
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_RX));
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_TX));
EFSYS_ASSERT(enp->en_ev_qcount != 0);
EFSYS_ASSERT(countp != NULL);
EFSYS_ASSERT(eecp != NULL);
EFSYS_ASSERT(eecp->eec_exception != NULL);
EFSYS_ASSERT(batch <= EFX_EV_BATCH);
EFSYS_ASSERT(total != batch);
EFSYS_ASSERT(eevop != NULL &&
EFSYS_ASSERT(B_FALSE);
EFSYS_ASSERT(eecp->eec_rx != NULL);
EFSYS_ASSERT(eecp->eec_tx != NULL);
EFSYS_ASSERT(eecp->eec_txq_flush_done != NULL);
EFSYS_ASSERT(eecp->eec_rxq_flush_done != NULL);
EFSYS_ASSERT(eecp->eec_rxq_flush_failed != NULL);
EFSYS_ASSERT(eecp->eec_initialized != NULL);
EFSYS_ASSERT(B_FALSE);
EFSYS_ASSERT(B_FALSE);
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_FILTER));
EFSYS_ASSERT(0);
EFSYS_ASSERT(enp->en_efop->efo_supported_filters != NULL);
EFSYS_ASSERT((flags & ~(EFX_FILTER_FLAG_RX_RSS |
EFSYS_ASSERT(0);
EFSYS_ASSERT(0);
EFSYS_ASSERT(B_FALSE);
EFSYS_ASSERT(B_FALSE);
EFSYS_ASSERT(B_FALSE);
EFSYS_ASSERT(B_FALSE);
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_EV));
EFSYS_ASSERT(0);
EFSYS_ASSERT(length <= EFX_LICENSE_V3_KEY_LENGTH_MAX);
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_LIC));
EFSYS_ASSERT(0);
EFSYS_ASSERT(bufferp);
EFSYS_ASSERT(startp);
EFSYS_ASSERT(lengthp);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_SIENA);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_SIENA);
EFSYS_ASSERT(length <= (EFX_LICENSE_V1V2_PAYLOAD_LENGTH_MAX +
EFSYS_ASSERT(length <= (EFX_LICENSE_V1V2_PAYLOAD_LENGTH_MAX +
EFSYS_ASSERT(end <= buffer_size);
EFSYS_ASSERT(EFX_LICENSE_V1V2_HEADER_LENGTH <= buffer_size);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON);
EFSYS_ASSERT((enp->en_family == EFX_FAMILY_MEDFORD) ||
EFSYS_ASSERT((enp->en_family == EFX_FAMILY_MEDFORD) ||
EFSYS_ASSERT((enp->en_family == EFX_FAMILY_MEDFORD) ||
EFSYS_ASSERT(emop != NULL);
EFSYS_ASSERT(emop != NULL);
EFSYS_ASSERT(maskp != NULL);
EFSYS_ASSERT(mask_size % sizeof (maskp[0]) == 0);
EFSYS_ASSERT(emop != NULL);
EFSYS_ASSERT(emop != NULL);
EFSYS_ASSERT(emop != NULL);
EFSYS_ASSERT(emop != NULL);
EFSYS_ASSERT(type != EFX_MAC_INVALID);
EFSYS_ASSERT(emop != NULL);
EFSYS_ASSERT(hash_low != NULL);
EFSYS_ASSERT(hash_high != NULL);
EFSYS_ASSERT(0);
EFSYS_ASSERT(ofst <= MC_CMD_GET_ASSERTS_OUT_LEN);
EFSYS_ASSERT(0);
EFSYS_ASSERT((uint32_t)offset + len <= EFX_PHY_MEDIA_INFO_PAGE_SIZE);
EFSYS_ASSERT(emip->emi_pending_req == NULL);
EFSYS_ASSERT(emrp != NULL);
EFSYS_ASSERT(emip->emi_pending_req != NULL);
EFSYS_ASSERT(!emip->emi_ev_cpl);
EFSYS_ASSERT(rc == EIO || rc == EINTR);
EFSYS_ASSERT(emip->emi_aborted > 0);
EFSYS_ASSERT(encp->enc_mon_type != EFX_MON_INVALID);
EFSYS_ASSERT(encp->enc_mon_type != EFX_MON_INVALID);
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_PROBE));
EFSYS_ASSERT(enp->en_mod_flags & EFX_MOD_PROBE);
EFSYS_ASSERT(enp->en_mod_flags & EFX_MOD_NIC);
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_INTR));
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_EV));
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_RX));
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_TX));
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_NIC));
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_INTR));
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_EV));
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_RX));
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_TX));
EFSYS_ASSERT(enp->en_mod_flags & EFX_MOD_PROBE);
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_NIC));
EFSYS_ASSERT(maskp != NULL);
EFSYS_ASSERT(0);
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_NVRAM));
EFSYS_ASSERT(B_FALSE);
EFSYS_ASSERT(0);
EFSYS_ASSERT(data != NULL);
EFSYS_ASSERT(epop->epo_bist_poll != NULL);
EFSYS_ASSERT(epop->epo_bist_stop != NULL);
EFSYS_ASSERT(emop != NULL);
EFSYS_ASSERT(emop != NULL);
EFSYS_ASSERT(link_mode < EFX_LINK_NMODES);
EFSYS_ASSERT(epp->ep_mac_drain);
EFSYS_ASSERT(enp->en_reset_flags & EFX_RESET_PHY);
EFSYS_ASSERT(0);
EFSYS_ASSERT(0);
EFSYS_ASSERT(0);
EFSYS_ASSERT(0);
EFSYS_ASSERT(enp->en_rx_qcount != 0);
EFSYS_ASSERT(0);
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_RX));
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_TX));
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_EV));
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_TUNNEL));
EFSYS_ASSERT(0);
EFSYS_ASSERT(EFX_P2ROUNDUP(efsys_dma_addr_t, addr + 1,
EFSYS_ASSERT(0);
EFSYS_ASSERT(enp->en_tx_qcount != 0);
EFSYS_ASSERT(etxop->etxo_qdesc_dma_create != NULL);
EFSYS_ASSERT(etxop->etxo_qdesc_tso_create != NULL);
EFSYS_ASSERT(etxop->etxo_qdesc_tso2_create != NULL);
EFSYS_ASSERT(etxop->etxo_qdesc_vlantci_create != NULL);
EFSYS_ASSERT(etxop->etxo_qdesc_checksum_create != NULL);
EFSYS_ASSERT(EFX_P2ROUNDUP(efsys_dma_addr_t, start + 1,
EFSYS_ASSERT(ISP2(encp->enc_txq_max_ndescs));
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_VPD));
EFSYS_ASSERT(0);
EFSYS_ASSERT(id < EFX_MON_NSTATS);
EFSYS_ASSERT(emip->emi_port > 0); /* MCDI port number is one-based */
EFSYS_ASSERT((sensor % (MC_CMD_SENSOR_PAGE0_NEXT + 1)) !=
EFSYS_ASSERT(enp->en_nic_cfg.enc_mcdi_sensor_maskp != NULL);
EFSYS_ASSERT((enp->en_nic_cfg.enc_mcdi_sensor_maskp[
EFSYS_ASSERT(id < EFX_MON_NSTATS);
EFSYS_ASSERT(npagesp != NULL);
EFSYS_ASSERT(sensor_maskp != NULL);
EFSYS_ASSERT(mask_part != NULL);
EFSYS_ASSERT(limits != NULL);
EFSYS_ASSERT(sizeof (*limit_info) ==
EFSYS_ASSERT(emip->emi_port > 0); /* MCDI port number is one-based */
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_SIENA);
EFSYS_ASSERT(emip->emi_port == 1 || emip->emi_port == 2);
EFSYS_ASSERT(emip->emi_port == 1 || emip->emi_port == 2);
EFSYS_ASSERT(emip->emi_port == 1 || emip->emi_port == 2);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_SIENA);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_SIENA);
EFSYS_ASSERT(emip->emi_port == 1 || emip->emi_port == 2);
EFSYS_ASSERT(rsp->rows == 1);
EFSYS_ASSERT(pattern < EFX_PATTERN_NTYPES);
EFSYS_ASSERT(partnp != NULL);
EFSYS_ASSERT(partn == MC_CMD_NVRAM_TYPE_DYNAMIC_CFG_PORT0 ||
EFSYS_ASSERT(0);
EFSYS_ASSERT(smask == encp->enc_phy_stat_mask);
EFSYS_ASSERT(resultp != NULL);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_SIENA);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_SIENA);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_SIENA);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_SIENA);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_SIENA);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_SIENA);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_SIENA);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_SIENA);
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_SIENA);
EFSYS_ASSERT(partn == MC_CMD_NVRAM_TYPE_STATIC_CFG_PORT0 ||
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_SIENA);
EFSYS_ASSERT(ISP2(align));