diff -r 4d8c9a441ef6 -r b544025bd696 master/device.c
--- a/master/device.c	Thu May 12 16:38:48 2011 +0200
+++ b/master/device.c	Thu May 12 16:45:02 2011 +0200
@@ -501,9 +501,9 @@
     ec_mac_print(device->dev->dev_addr, str);
     EC_MASTER_INFO(master, "Releasing main device %s.\n", str);
     
-    down(&master->device_sem);
+    ec_mutex_lock(&master->device_mutex);
     ec_device_detach(device);
-    up(&master->device_sem);
+    ec_mutex_unlock(&master->device_mutex);
 }
 
 /*****************************************************************************/