patch-2.4.0-test9 linux/drivers/char/i810-tco.c

• Lines: 12
• Date: Sun Oct 1 19:45:29 2000
• Orig file: v2.4.0-test8/linux/drivers/char/i810-tco.c
• Orig date: Fri Aug 11 17:56:40 2000

diff -u --recursive --new-file v2.4.0-test8/linux/drivers/char/i810-tco.c linux/drivers/char/i810-tco.c
@@ -301,10 +301,9 @@
 	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;
 }