Changes in kernel/arch/ppc32/src/ppc32.c [3a2f8aa:a71c158] 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>
@@ -45 +44 @@
 #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>
@@ -60 +57 @@
 
 bootinfo_t bootinfo;
-
-static cir_t pic_cir;
-static void *pic_cir_arg;
 
 /** Performs ppc32-specific initialization before main_bsp() is called. */
@@ -191 +185 @@
         if (assigned_address) {
                 /* Initialize PIC */
-                pic_init(assigned_address[0].addr, PAGE_SIZE, &pic_cir,
-                    &pic_cir_arg);
-
+                cir_t cir;
+                void *cir_arg;
+                pic_init(assigned_address[0].addr, PAGE_SIZE, &cir, &cir_arg);
+                
 #ifdef CONFIG_MAC_KBD
                 uintptr_t pa = assigned_address[0].addr + 0x16000;
@@ -205 +200 @@
                 /* Initialize I/O controller */
                 cuda_instance_t *cuda_instance =
-                    cuda_init(cuda, IRQ_CUDA, pic_cir, pic_cir_arg);
+                    cuda_init(cuda, IRQ_CUDA, cir, cir_arg);
                 if (cuda_instance) {
                         kbrd_instance_t *kbrd_instance = kbrd_init();
@@ -215 +210 @@
                         }
                 }
-
-                /*
-                 * 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
         }
@@ -230 +215 @@
         /* 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;
 }