Symbol: ibwdt_set_heartbeat
drivers/watchdog/ib700wdt.c
214
if (ibwdt_set_heartbeat(new_margin))
drivers/watchdog/ib700wdt.c
296
if (ibwdt_set_heartbeat(timeout)) {
drivers/watchdog/ib700wdt.c
297
ibwdt_set_heartbeat(WATCHDOG_TIMEOUT);