EF4_WORKAROUND_6555 1766 drivers/net/ethernet/sfc/falcon/falcon.c 		ef4_schedule_reset(efx, EF4_WORKAROUND_6555(efx) ?
EF4_WORKAROUND_6555 1229 drivers/net/ethernet/sfc/falcon/farch.c 				   EF4_WORKAROUND_6555(efx) ?