sfxge_tx_dpl_get_pkt_max
ASSERT3U(stdp->std_count, <=, sfxge_tx_dpl_get_pkt_max(stp));
ASSERT3U(stdp->std_count, <=, sfxge_tx_dpl_get_pkt_max(stp));
ASSERT3U(stdp->std_count, <=, sfxge_tx_dpl_get_pkt_max(stp));
ASSERT3U(stdp->std_count, <=, sfxge_tx_dpl_get_pkt_max(stp));