diff options
Diffstat (limited to 'drivers/char/i810-tco.c')
-rw-r--r-- | drivers/char/i810-tco.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/drivers/char/i810-tco.c b/drivers/char/i810-tco.c index fcd105d35..b01564030 100644 --- a/drivers/char/i810-tco.c +++ b/drivers/char/i810-tco.c @@ -301,10 +301,9 @@ static int __init watchdog_init (void) tco_timer_settimer ((unsigned char) i810_margin); tco_timer_reload (); - /* FIXME: no floating point math */ printk (KERN_INFO "i810 TCO timer: V0.02, timer margin: %d sec (0x%04x)\n", - (int) (i810_margin * 0.6), TCOBASE); + (int) (i810_margin * 6 / 10), TCOBASE); return 0; } |