efx_farch_tx_fini  730 drivers/net/ethernet/sfc/farch.c 				efx_farch_tx_fini(tx_queue);
efx_farch_tx_fini  562 drivers/net/ethernet/sfc/nic.h void efx_farch_tx_fini(struct efx_tx_queue *tx_queue);