Symbol: CXGB4_TX_MAX