Nick's dec21140A fixes

diff --git a/drivers/dec21140A/dec21140A.c b/drivers/dec21140A/dec21140A.c
index 06d635669e3cb0118f4c5000d6aafe7640497c0a..6b8506e98d7f060c785f9e1df5ba4840055c79d2 100644 (file)
--- a/drivers/dec21140A/dec21140A.c
+++ b/drivers/dec21140A/dec21140A.c
@@ -85,6 +85,8 @@ int sef_cb_init(int type, sef_init_info_t *info)
     notify(tasknr);
   else if(r != ESRCH)
     printf("%s unable to notify inet: %d\n", str_DevName, r);
+
+  return OK;
 }
 
 /*===========================================================================*
@@ -731,7 +733,6 @@ PRIVATE void do_interrupt(dpeth_t *dep){
 
 PRIVATE void de_reset(dpeth_t *dep){
   io_outl(CSR_ADDR(dep, CSR0), CSR0_SWR);
-  micro_delay(1000000);
 }
 
 PRIVATE void de_hw_conf(dpeth_t *dep){