mixcomwd_timer_alive  102 drivers/watchdog/mixcomwd.c static int mixcomwd_timer_alive;
mixcomwd_timer_alive  143 drivers/watchdog/mixcomwd.c 		if (mixcomwd_timer_alive) {
mixcomwd_timer_alive  145 drivers/watchdog/mixcomwd.c 			mixcomwd_timer_alive = 0;
mixcomwd_timer_alive  154 drivers/watchdog/mixcomwd.c 		if (mixcomwd_timer_alive) {
mixcomwd_timer_alive  158 drivers/watchdog/mixcomwd.c 		mixcomwd_timer_alive = 1;
mixcomwd_timer_alive  212 drivers/watchdog/mixcomwd.c 			status |= mixcomwd_timer_alive;
mixcomwd_timer_alive  296 drivers/watchdog/mixcomwd.c 		if (mixcomwd_timer_alive) {
mixcomwd_timer_alive  299 drivers/watchdog/mixcomwd.c 			mixcomwd_timer_alive = 0;