--- a/drivers/ec_device.c	Fri Nov 18 09:35:04 2005 +0000
+++ b/drivers/ec_device.c	Fri Nov 18 09:51:50 2005 +0000
@@ -17,6 +17,8 @@
 #include "ec_device.h"
 #include "ec_dbg.h"
 
+extern void rtl8139_interrupt(int, void *, struct pt_regs *);
+
 /***************************************************************/
 
 /**