Changes in kernel/test/synch/semaphore1.c [228666c:cb01e1e] in mainline

File:

• kernel/test/synch/semaphore1.c (modified) (1 diff)

kernel/test/synch/semaphore1.c

@@ -73 +73 @@
 {
         int i, j, k;
-        atomic_count_t consumers;
-        atomic_count_t producers;
+        int consumers, producers;
         
         waitq_initialize(&can_start);