Changeset 897fd8f1 in mainline for kernel/arch/ia32/src

Timestamp:

2017-12-19T18:18:15Z (8 years ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

55b56f4

Parents:

7f11dc6

Message:

Use <errno.h> instead of special ESYNCH_xx error codes.

File:

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

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

@@ -39 +39 @@
 #include <arch/boot/boot.h>
 #include <assert.h>
+#include <errno.h>
 #include <genarch/acpi/acpi.h>
 #include <genarch/acpi/madt.h>
@@ -178 +179 @@
                          */
                         if (waitq_sleep_timeout(&ap_completion_wq, 1000000,
-                            SYNCH_FLAGS_NONE) == ESYNCH_TIMEOUT) {
+                            SYNCH_FLAGS_NONE, NULL) == ETIMEOUT) {
                                 log(LF_ARCH, LVL_NOTE, "%s: waiting for cpu%u "
                                     "(APIC ID = %d) timed out", __FUNCTION__,