EFX_EF10_WORKAROUND_35388  405 drivers/net/ethernet/sfc/ef10.c 	} else if (EFX_EF10_WORKAROUND_35388(efx)) {
EFX_EF10_WORKAROUND_35388 2098 drivers/net/ethernet/sfc/ef10.c 	} else if (EFX_EF10_WORKAROUND_35388(efx)) {
EFX_EF10_WORKAROUND_35388 3887 drivers/net/ethernet/sfc/ef10.c 	if (EFX_EF10_WORKAROUND_35388(efx)) {
EFX_EF10_WORKAROUND_35388   28 drivers/net/ethernet/sfc/workarounds.h 	(efx_nic_rev(efx) == EFX_REV_HUNT_A0 && EFX_EF10_WORKAROUND_35388(efx))