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-14 00:11:10.931525072 -0700
+++ 25-akpm/drivers/input/serio/i8042.c	2004-06-14 00:11:10.935524464 -0700
@@ -88,6 +88,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
_