efx_ptp_event    1356 drivers/net/ethernet/sfc/mcdi.c 		efx_ptp_event(efx, event);
efx_ptp_event     459 drivers/net/ethernet/sfc/nic.h void efx_ptp_event(struct efx_nic *efx, efx_qword_t *ev);