Changes in kernel/arch/ia32/src/smp/smp.c [b2fa1204:9d58539] in mainline

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