efx_time_sync_event 1359 drivers/net/ethernet/sfc/mcdi.c 		efx_time_sync_event(channel, event);
efx_time_sync_event  462 drivers/net/ethernet/sfc/nic.h void efx_time_sync_event(struct efx_channel *channel, efx_qword_t *ev);