Changes in kernel/arch/ppc32/src/ppc32.c [a71c158:3a2f8aa] in mainline

File:

• kernel/arch/ppc32/src/ppc32.c (modified) (7 diffs)

kernel/arch/ppc32/src/ppc32.c

@@ -39 +39 @@
 #include <genarch/kbrd/kbrd.h>
 #include <arch/interrupt.h>
+#include <interrupt.h>
 #include <genarch/fb/fb.h>
 #include <genarch/fb/visuals.h>
@@ -44 +45 @@
 #include <genarch/ofw/pci.h>
 #include <userspace.h>
+#include <mm/page.h>
 #include <proc/uarg.h>
 #include <console/console.h>
+#include <sysinfo/sysinfo.h>
 #include <ddi/irq.h>
 #include <arch/drivers/pic.h>
@@ -57 +60 @@
 
 bootinfo_t bootinfo;
+
+static cir_t pic_cir;
+static void *pic_cir_arg;
 
 /** Performs ppc32-specific initialization before main_bsp() is called. */
@@ -185 +191 @@
         if (assigned_address) {
                 /* Initialize PIC */
-                cir_t cir;
-                void *cir_arg;
-                pic_init(assigned_address[0].addr, PAGE_SIZE, &cir, &cir_arg);
-                
+                pic_init(assigned_address[0].addr, PAGE_SIZE, &pic_cir,
+                    &pic_cir_arg);
+
 #ifdef CONFIG_MAC_KBD
                 uintptr_t pa = assigned_address[0].addr + 0x16000;
@@ -200 +205 @@
                 /* Initialize I/O controller */
                 cuda_instance_t *cuda_instance =
-                    cuda_init(cuda, IRQ_CUDA, cir, cir_arg);
+                    cuda_init(cuda, IRQ_CUDA, pic_cir, pic_cir_arg);
                 if (cuda_instance) {
                         kbrd_instance_t *kbrd_instance = kbrd_init();
@@ -210 +215 @@
                         }
                 }
+
+                /*
+                 * This is the necessary evil until the userspace driver is entirely
+                 * self-sufficient.
+                 */
+                sysinfo_set_item_val("cuda", NULL, true);
+                sysinfo_set_item_val("cuda.inr", NULL, IRQ_CUDA);
+                sysinfo_set_item_val("cuda.address.physical", NULL, pa);
+                sysinfo_set_item_val("cuda.address.kernel", NULL,
+                    (uintptr_t) cuda);
 #endif
         }
@@ -215 +230 @@
         /* Consider only a single device for now */
         return false;
+}
+
+void irq_initialize_arch(irq_t *irq)
+{
+        irq->cir = pic_cir;
+        irq->cir_arg = pic_cir_arg;
+        irq->preack = true;
 }