tripped           238 drivers/watchdog/cpwd.c 	int id, tripped = 0;
tripped           248 drivers/watchdog/cpwd.c 			++tripped;
tripped           253 drivers/watchdog/cpwd.c 	if (tripped) {