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

File:

• kernel/arch/sparc64/src/drivers/pci.c (modified) (4 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>
@@ -112 +112 @@
             PAGE_WRITE | PAGE_NOT_CACHEABLE);
 
-        /*
-         * Set sysinfo data needed by the uspace OBIO driver.
-         */
-        sysinfo_set_item_val("obio.base.physical", NULL, paddr);
-        sysinfo_set_item_val("kbd.cir.obio", NULL, 1);
-
         return pci;
 }
@@ -159 +153 @@
         pci->reg = (uint64_t *) km_map(paddr, reg[PSYCHO_INTERNAL_REG].size,
             PAGE_WRITE | PAGE_NOT_CACHEABLE);
-
-        /*
-         * Set sysinfo data needed by the uspace OBIO driver.
-         */
-        sysinfo_set_item_val("obio.base.physical", NULL, paddr);
-        sysinfo_set_item_val("kbd.cir.obio", NULL, 1);
 
         return pci;
@@ -213 +201 @@
                  * Unsupported model.
                  */
-                printf("Unsupported PCI controller model (%s).\n",
+                log(LF_ARCH, LVL_WARN, "Unsupported PCI controller model (%s).",
                     (char *) prop->value);
         }