Changes in uspace/lib/usbdev/src/recognise.c [c046942:37e4025] in mainline

File:

• uspace/lib/usbdev/src/recognise.c (modified) (2 diffs)

uspace/lib/usbdev/src/recognise.c

@@ -45 +45 @@
 #include <errno.h>
 #include <assert.h>
+
+/** Index to append after device name for uniqueness. */
+static size_t device_name_index = 0;
+/** Mutex guard for device_name_index. */
+static FIBRIL_MUTEX_INITIALIZE(device_name_index_mutex);
 
 /** DDF operations of child devices. */
@@ -324 +329 @@
         }
 
-
-        /** Index to append after device name for uniqueness. */
-        static atomic_t device_name_index = {0};
-        const size_t this_device_name_index =
-            (size_t) atomic_preinc(&device_name_index);
+        fibril_mutex_lock(&device_name_index_mutex);
+        const size_t this_device_name_index = device_name_index++;
+        fibril_mutex_unlock(&device_name_index_mutex);
 
         ddf_fun_t *child = NULL;