diff -r 19732da2cf86 -r 3001f6523e63 master/device.c
--- a/master/device.c	Fri May 13 15:33:16 2011 +0200
+++ b/master/device.c	Fri May 13 15:34:20 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);
 }
 
 /*****************************************************************************/