ibwdt_set_heartbeat
if (ibwdt_set_heartbeat(new_margin))
if (ibwdt_set_heartbeat(timeout)) {
ibwdt_set_heartbeat(WATCHDOG_TIMEOUT);