RESET_TYPE_TX_WATCHDOG
if (reason == RESET_TYPE_TX_WATCHDOG)
if (reset_type == RESET_TYPE_TX_WATCHDOG) {
[RESET_TYPE_TX_WATCHDOG] = "TX_WATCHDOG",
efx_schedule_reset(efx, RESET_TYPE_TX_WATCHDOG);
ef4_schedule_reset(efx, RESET_TYPE_TX_WATCHDOG);
[RESET_TYPE_TX_WATCHDOG] = "TX_WATCHDOG",
[RESET_TYPE_TX_WATCHDOG] = "TX_WATCHDOG",
efx_siena_schedule_reset(efx, RESET_TYPE_TX_WATCHDOG);