Symbol: EFX_RXQ_MAXNDESCS