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