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

File:

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

kernel/arch/ia32/src/drivers/i8259.c

@@ -42 +42 @@
 #include <arch/asm.h>
 #include <arch.h>
-#include <print.h>
+#include <log.h>
 #include <interrupt.h>
 
@@ -129 +129 @@
 {
 #ifdef CONFIG_DEBUG
-        printf("cpu%u: PIC spurious interrupt\n", CPU->id);
+        log(LF_ARCH, LVL_DEBUG, "cpu%u: PIC spurious interrupt", CPU->id);
 #endif
 }