Changes in kernel/arch/sparc64/src/drivers/pci.c [df01d303:9d58539] 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 <log.h>
+#include <print.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;
 }
@@ -153 +159 @@
         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;
@@ -201 +213 @@
                  * Unsupported model.
                  */
-                log(LF_ARCH, LVL_WARN, "Unsupported PCI controller model (%s).",
+                printf("Unsupported PCI controller model (%s).\n",
                     (char *) prop->value);
         }