efx_ef10_push_tx_desc 2520 drivers/net/ethernet/sfc/ef10.c 	efx_ef10_push_tx_desc(tx_queue, txd);
efx_ef10_push_tx_desc 2629 drivers/net/ethernet/sfc/ef10.c 		efx_ef10_push_tx_desc(tx_queue, txd);