Symbol: cpwd_brokentimer
drivers/watchdog/cpwd.c
279
cpwd_brokentimer(NULL);
drivers/watchdog/cpwd.c
595
timer_setup(&cpwd_timer, cpwd_brokentimer, 0);