Lines Matching defs:ntwdt_timer_running
366 int ntwdt_timer_running; /* wdog running ? */
1150 if (wdog_state->ntwdt_timer_running == 0) {
1159 if (wdog_state->ntwdt_timer_running != 0) {
1241 if (wdog_state->ntwdt_timer_running != 0) {
1265 wdog_state->ntwdt_timer_running))
1367 if (wdog_state->ntwdt_timer_running != 0)
1460 if (wdog_state->ntwdt_timer_running == 0 ||
1544 wdog_state->ntwdt_timer_running != 0) {
1592 wdog_state->ntwdt_timer_running = 1;
1621 wdog_state->ntwdt_timer_running = 0;