cpwd_pingtimer    434 drivers/watchdog/cpwd.c 		cpwd_pingtimer(p, index);
cpwd_pingtimer    490 drivers/watchdog/cpwd.c 		cpwd_pingtimer(p, index);