diff -urpN --exclude-from=/home/davej/.exclude bk-linus/drivers/input/serio/i8042.h linux-2.5/drivers/input/serio/i8042.h
--- bk-linus/drivers/input/serio/i8042.h 2003-04-10 06:01:18.000000000 +0100
+++ linux-2.5/drivers/input/serio/i8042.h 2003-05-15 20:30:22.000000000 +0100
@@ -103,11 +103,11 @@
#ifdef DEBUG
static unsigned long i8042_start;
-#define dbg_init() do { i8042_start = jiffies; } while (0);
+#define dbg_init() do { i8042_start = jiffies; } while (0)
#define dbg(format, arg...) printk(KERN_DEBUG __FILE__ ": " format " [%d]\n" ,\
## arg, (int) (jiffies - i8042_start))
#else
-#define dbg_init() do { } while (0);
+#define dbg_init() do { } while (0)
#define dbg(format, arg...) do {} while (0)
#endif