RESET_TYPE_TX_WATCHDOG   84 drivers/net/ethernet/sfc/efx.c 	[RESET_TYPE_TX_WATCHDOG]        = "TX_WATCHDOG",
RESET_TYPE_TX_WATCHDOG 2278 drivers/net/ethernet/sfc/efx.c 	efx_schedule_reset(efx, RESET_TYPE_TX_WATCHDOG);
RESET_TYPE_TX_WATCHDOG   77 drivers/net/ethernet/sfc/falcon/efx.c 	[RESET_TYPE_TX_WATCHDOG]        = "TX_WATCHDOG",
RESET_TYPE_TX_WATCHDOG 2119 drivers/net/ethernet/sfc/falcon/efx.c 	ef4_schedule_reset(efx, RESET_TYPE_TX_WATCHDOG);