EFSYS_ASSERT
EFSYS_ASSERT(enp->en_family == EFX_FAMILY_HUNTINGTON ||
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(eftp->eft_unicst_filter_count <=
EFSYS_ASSERT(ef10_filter_entry_spec(eftp, index) != NULL);
EFSYS_ASSERT(eftp->eft_unicst_filter_count <=
EFSYS_ASSERT(ef10_filter_entry_spec(eftp, index) != NULL);
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(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(enp->en_family == EFX_FAMILY_HUNTINGTON ||
EFSYS_ASSERT(enp->en_features & EFX_FEATURE_MCDI_DMA);
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(0);
EFSYS_ASSERT(enp->en_rx_qcount != 0);
EFSYS_ASSERT(length % sizeof (efx_qword_t) == 0);
EFSYS_ASSERT(P2ROUNDUP(addr + 1, 4096) >= (addr + size));
EFSYS_ASSERT(P2ROUNDUP(addr + 1, 4096) >= addr + size);
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(used_bytes >= 2); /* checksum and DHCP_END */
EFSYS_ASSERT(used_bytes <= sector_length);
EFSYS_ASSERT(used_bytes >= 2); /* checksum and DHCP_END */
EFSYS_ASSERT(countp != NULL);
EFSYS_ASSERT(eecp != NULL);
EFSYS_ASSERT(eecp->eec_exception != NULL);
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(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(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(!(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(B_FALSE);
EFSYS_ASSERT(B_FALSE);
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(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(emop != NULL);
EFSYS_ASSERT(ofst <= MC_CMD_GET_ASSERTS_OUT_LEN);
EFSYS_ASSERT(0);
EFSYS_ASSERT(0);
EFSYS_ASSERT(!upload && !enable && !events);
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(rsp->rows == 1);
EFSYS_ASSERT(pattern < EFX_PATTERN_NTYPES);
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(!epp->ep_mac_stats_pending);
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(enp->en_rx_qcount != 0);
EFSYS_ASSERT(0);
EFSYS_ASSERT(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(P2ROUNDUP(addr + 1, 4096) >= addr + size);
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(P2ROUNDUP(start + 1, 4096) >= end);
EFSYS_ASSERT(ISP2(EFX_TXQ_MAXNDESCS(encp)));
EFSYS_ASSERT(0);
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_VPD));
EFSYS_ASSERT(!(enp->en_mod_flags & EFX_MOD_WOL));
EFSYS_ASSERT(resultp != NULL);
EFSYS_ASSERT(id < EFX_MON_NSTATS);
EFSYS_ASSERT((sensor % MCDI_MON_PAGE_SIZE) != MC_CMD_SENSOR_PAGE0_NEXT);
EFSYS_ASSERT(encp->enc_mcdi_sensor_maskp != NULL);
EFSYS_ASSERT((encp->enc_mcdi_sensor_maskp[sensor / MCDI_MON_PAGE_SIZE] &
EFSYS_ASSERT(id < EFX_MON_NSTATS);
EFSYS_ASSERT(npagesp != NULL);
EFSYS_ASSERT(sensor_maskp != NULL);
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(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(0); \
EFSYS_ASSERT(ISP2(align));