cpwd_brokentimer  280 drivers/watchdog/cpwd.c 			cpwd_brokentimer(NULL);
cpwd_brokentimer  597 drivers/watchdog/cpwd.c 		timer_setup(&cpwd_timer, cpwd_brokentimer, 0);