ts_part          3691 drivers/net/ethernet/sfc/ef10.c 	u64 ts_part;
ts_part          3738 drivers/net/ethernet/sfc/ef10.c 		ts_part = efx_ef10_extract_event_ts(event);
ts_part          3739 drivers/net/ethernet/sfc/ef10.c 		tx_queue->completed_timestamp_minor = ts_part;
ts_part          3743 drivers/net/ethernet/sfc/ef10.c 		ts_part = efx_ef10_extract_event_ts(event);
ts_part          3744 drivers/net/ethernet/sfc/ef10.c 		tx_queue->completed_timestamp_major = ts_part;