Symbol: txq_prod
sys/dev/pci/cxgb/cxgb_sge.c
1250
txq_prod(txq, 1, &txqs);
sys/dev/pci/cxgb/cxgb_sge.c
1288
txq_prod(txq, ndesc, &txqs);