diff -r 080b46eb6e2d -r e6264685dd7b devices/8139too.c
--- a/devices/8139too.c	Thu Mar 02 11:19:27 2006 +0000
+++ b/devices/8139too.c	Thu Mar 02 13:08:07 2006 +0000
@@ -1925,18 +1925,6 @@
 	dirty_tx = tp->dirty_tx;
 	tx_left = tp->cur_tx - dirty_tx;
 
-	/* EtherCAT >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>*/
-
-#if 0
-	if (EtherCAT_dev_is_ec(rtl_ec_dev, dev))
-    {
-                rtl_ec_dev.tx_intr_cnt++;
-                rdtscl(rtl_ec_dev.tx_time); // Get CPU cycles
-	}
-#endif
-
-        /* EtherCAT <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<*/
-
 	while (tx_left > 0) {
 		int entry = dirty_tx % NUM_TX_DESC;
 		int txstatus;
@@ -1967,9 +1955,7 @@
                         /* EtherCAT >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>*/
 
                         if (EtherCAT_dev_is_ec(rtl_ec_dev, dev))
-                        {
-                          EtherCAT_dev_state(rtl_ec_dev, EC_DEVICE_STATE_ERROR);
-                        }
+                            EtherCAT_dev_state(rtl_ec_dev, EC_DEVICE_STATE_ERROR);
 
                         /* EtherCAT <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<*/
 
@@ -2156,17 +2142,6 @@
 		 RTL_R16 (RxBufAddr),
 		 RTL_R16 (RxBufPtr), RTL_R8 (ChipCmd));
 
-        /* EtherCAT >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>*/
-#if 0
-	if (EtherCAT_dev_is_ec(rtl_ec_dev, dev))
-	{
-                rtl_ec_dev.rx_intr_cnt++;
-                rdtscl(rtl_ec_dev.rx_time); // Get CPU cycles
-	}
-#endif
-
-        /* EtherCAT <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<*/
-
 	while ((EtherCAT_dev_is_ec(rtl_ec_dev, dev) || netif_running(dev))
 	       && received < budget
 	       && (RTL_R8 (ChipCmd) & RxBufEmpty) == 0) {