efx_ef10_extract_event_ts 3738 drivers/net/ethernet/sfc/ef10.c 		ts_part = efx_ef10_extract_event_ts(event);
efx_ef10_extract_event_ts 3743 drivers/net/ethernet/sfc/ef10.c 		ts_part = efx_ef10_extract_event_ts(event);