__watchdog_ping   217 drivers/watchdog/watchdog_dev.c 	return __watchdog_ping(wdd);
__watchdog_ping   241 drivers/watchdog/watchdog_dev.c 		__watchdog_ping(wd_data->wdd);