Symbol: cdc_ncm_check_tx_max