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);