diff -r ab0b96ac18bb -r 8b67602f5161 master/device.c
--- a/master/device.c	Wed Mar 23 08:06:58 2011 +0100
+++ b/master/device.c	Wed Apr 13 22:06:28 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);
 }
 
 /*****************************************************************************/