Changes in kernel/arch/sparc64/src/smp/sun4v/smp.c [7c5320c:d1582b50] in mainline

File:

• kernel/arch/sparc64/src/smp/sun4v/smp.c (modified) (1 diff)

kernel/arch/sparc64/src/smp/sun4v/smp.c

@@ -373 +373 @@
 #endif
 
-        if (semaphore_down_timeout(&ap_completion_semaphore, 10000000) != EOK)
+        if (waitq_sleep_timeout(&ap_completion_wq, 10000000,
+            SYNCH_FLAGS_NONE, NULL) == ETIMEOUT)
                 printf("%s: waiting for processor (cpuid = %" PRIu64 ") timed out\n",
                     __func__, cpuid);