Changeset b2fa1204 in mainline for kernel/arch/ia32/src/smp/smp.c

Timestamp:

2014-01-05T21:12:26Z (10 years ago)

Author:

Martin Sucha <sucha14@…>

Branches:

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

Children:

ca05e9b

Parents:

bd6ff94

Message:

Cherrypick usage of kernel logger

File:

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

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

@@ -52 +52 @@
 #include <mm/slab.h>
 #include <mm/as.h>
-#include <print.h>
+#include <log.h>
 #include <memstr.h>
 #include <arch/drivers/i8259.h>
@@ -129 +129 @@
                 
                 if (ops->cpu_apic_id(i) == bsp_l_apic) {
-                        printf("kmp: bad processor entry #%u, will not send IPI "
-                            "to myself\n", i);
+                        log(LF_ARCH, LVL_ERROR, "kmp: bad processor entry #%u, "
+                            "will not send IPI to myself", i);
                         continue;
                 }
@@ -162 +162 @@
                         if (waitq_sleep_timeout(&ap_completion_wq, 1000000,
                             SYNCH_FLAGS_NONE) == ESYNCH_TIMEOUT) {
-                                printf("%s: waiting for cpu%u (APIC ID = %d) "
-                                    "timed out\n", __FUNCTION__, i,
-                                    ops->cpu_apic_id(i));
+                                log(LF_ARCH, LVL_NOTE, "%s: waiting for cpu%u "
+                                    "(APIC ID = %d) timed out", __FUNCTION__,
+                                    i, ops->cpu_apic_id(i));
                         }
                 } else
-                        printf("INIT IPI for l_apic%d failed\n",
+                        log(LF_ARCH, LVL_ERROR, "INIT IPI for l_apic%d failed",
                             ops->cpu_apic_id(i));
         }