improve behaviour under VPC, fixes from nicolas tittley.

diff --git a/drivers/dec21140A/dec21140A.c b/drivers/dec21140A/dec21140A.c
index 0308a183a177b5185c030214a64b9a82789b4563..6b8506e98d7f060c785f9e1df5ba4840055c79d2 100644 (file)
--- a/drivers/dec21140A/dec21140A.c
+++ b/drivers/dec21140A/dec21140A.c
@@ -85,7 +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 r;
+
+  return OK;
 }
 
 /*===========================================================================*
@@ -732,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){