Changes in kernel/arch/ia32/src/smp/smp.c [2a103b5:b169619] in mainline

File:

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

kernel/arch/ia32/src/smp/smp.c

@@ -54 +54 @@
 #include <mm/as.h>
 #include <log.h>
-#include <mem.h>
+#include <memw.h>
 #include <genarch/drivers/i8259/i8259.h>
 #include <cpu.h>
@@ -178 +178 @@
                          * supposed to wake us up.
                          */
-                        if (waitq_sleep_timeout(&ap_completion_wq, 1000000,
-                            SYNCH_FLAGS_NONE, NULL) == ETIMEOUT) {
+                        if (semaphore_down_timeout(&ap_completion_semaphore, 1000000) != EOK) {
                                 log(LF_ARCH, LVL_NOTE, "%s: waiting for cpu%u "
                                     "(APIC ID = %d) timed out", __FUNCTION__,