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) {