Symbol: wdt_set_heartbeat
drivers/watchdog/wdt.c
389
if (wdt_set_heartbeat(new_heartbeat))
drivers/watchdog/wdt.c
597
if (wdt_set_heartbeat(heartbeat)) {
drivers/watchdog/wdt.c
598
wdt_set_heartbeat(WD_TIMO);