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

File:

• kernel/arch/sparc64/src/drivers/pci.c (modified) (2 diffs)

kernel/arch/sparc64/src/drivers/pci.c

@@ -43 +43 @@
 #include <typedefs.h>
 #include <debug.h>
-#include <print.h>
+#include <log.h>
 #include <str.h>
 #include <arch/asm.h>
@@ -213 +213 @@
                  * Unsupported model.
                  */
-                printf("Unsupported PCI controller model (%s).\n",
+                log(LF_ARCH, LVL_WARN, "Unsupported PCI controller model (%s).",
                     (char *) prop->value);
         }