efx_ptp_disable
rc = efx_ptp_disable(efx);
(void)efx_ptp_disable(efx);
if (efx_ptp_disable(efx) == 0)
rc = efx_ptp_disable(efx);
(void)efx_ptp_disable(efx);
if (efx_ptp_disable(efx) == 0)