--- drivers/char/ppc405_wdt.c Wed Jun 4 08:58:42 2003 +++ /usr/src/linuxppc_2_4_devel/drivers/char/ppc405_wdt.c Tue Dec 24 06:00:15 2002 @@ -190,8 +190,7 @@ } case WDIOC_GETPERIOD: /* return watchdog period (units = microseconds) */ - period = wdt_period * MICROSECBASE; - + period = (wdt_period / HZ) * MICROSECBASE; if (copy_to_user((unsigned long *)arg, &period, sizeof(period))) { return -EFAULT; @@ -234,7 +233,8 @@ if (period == 0) period = MAXONEHOUR * MICROSECBASE; - wdt_period = period / MICROSECBASE; + heartbeat_count(0) = (period / TENMSBASE) + + (period % TENMSBASE ? 1 : 0); ppc405wd_update_timer(); break;