Symbol: EFX_TXQ_MAXNDESCS