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