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;