watchdog_patpat
if (watchdog_patpat(timeout) < 0)
watchdog_patpat(timeout);
error = watchdog_patpat(timeout);
return watchdog_patpat(timeout);
static int watchdog_patpat(sbintime_t);