Signed-off-by: Andrew Morton <akpm@osdl.org>
---

 25-akpm/drivers/input/serio/i8042.c |    4 ++++
 1 files changed, 4 insertions(+)

diff -puN drivers/input/serio/i8042.c~bk-input-build-fix drivers/input/serio/i8042.c
--- 25/drivers/input/serio/i8042.c~bk-input-build-fix	2004-06-02 18:22:22.088852944 -0700
+++ 25-akpm/drivers/input/serio/i8042.c	2004-06-02 18:23:31.690271920 -0700
@@ -86,6 +86,10 @@ static unsigned char i8042_sysdev_initia
 static struct pm_dev *i8042_pm_dev;
 struct timer_list i8042_timer;
 
+#ifdef __i386__
+extern unsigned int i8042_dmi_noloop;
+#endif
+
 /*
  * Shared IRQ's require a device pointer, but this driver doesn't support
  * multiple devices
_