--- a/drivers/ec_device.h	Fri Nov 04 09:38:50 2005 +0000
+++ b/drivers/ec_device.h	Fri Nov 04 16:47:23 2005 +0000
@@ -78,6 +78,7 @@
 
 int EtherCAT_device_send(EtherCAT_device_t *, unsigned char *, unsigned int);
 int EtherCAT_device_receive(EtherCAT_device_t *, unsigned char *, unsigned int);
+void EtherCAT_device_call_isr(EtherCAT_device_t *);
 
 void EtherCAT_device_debug(EtherCAT_device_t *);