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