EFX_TX_FATSOV2_OPT_NDESCS
EFSYS_ASSERT(count >= EFX_TX_FATSOV2_OPT_NDESCS);
EFX_TX_FATSOV2_OPT_NDESCS);
desc += EFX_TX_FATSOV2_OPT_NDESCS;
txq->n_pend_desc += EFX_TX_FATSOV2_OPT_NDESCS;
id = (id + EFX_TX_FATSOV2_OPT_NDESCS) & txq->ptr_mask;
EFX_TX_FATSOV2_OPT_NDESCS :
(EFX_TX_FATSOV2_OPT_NDESCS + 1) - 1;