ef4_nic_push_buffers  329 drivers/net/ethernet/sfc/falcon/tx.c 			ef4_nic_push_buffers(txq2);
ef4_nic_push_buffers  331 drivers/net/ethernet/sfc/falcon/tx.c 		ef4_nic_push_buffers(tx_queue);