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

File:

• kernel/arch/sparc64/src/smp/sun4v/smp.c (modified) (2 diffs)

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

@@ -183 +183 @@
         md_node_t node = md_get_root();
 
-        /* walk through all the CPU nodes in the MD*/
+        /* walk through all the CPU nodes in the MD */
         while (md_next_node(&node, "cpu")) {
 
@@ -373 +373 @@
 #endif
 
-        if (waitq_sleep_timeout(&ap_completion_wq, 10000000,
-            SYNCH_FLAGS_NONE, NULL) == ETIMEOUT)
+        if (semaphore_down_timeout(&ap_completion_semaphore, 10000000) != EOK)
                 printf("%s: waiting for processor (cpuid = %" PRIu64 ") timed out\n",
                     __func__, cpuid);