Changes in kernel/arch/amd64/src/amd64.c [2a103b5:bae43dc] in mainline

File:

• kernel/arch/amd64/src/amd64.c (modified) (6 diffs)

kernel/arch/amd64/src/amd64.c

@@ -45 +45 @@
 #include <arch/boot/boot.h>
 #include <arch/drivers/i8254.h>
+#include <arch/drivers/i8259.h>
 #include <arch/syscall.h>
 #include <genarch/acpi/acpi.h>
 #include <genarch/drivers/ega/ega.h>
 #include <genarch/drivers/i8042/i8042.h>
-#include <genarch/drivers/i8259/i8259.h>
 #include <genarch/drivers/ns16550/ns16550.h>
 #include <genarch/drivers/legacy/ia32/io.h>
@@ -60 +60 @@
 #include <arch/vreg.h>
 #include <arch/kseg.h>
-#include <genarch/pic/pic_ops.h>
 
 #ifdef CONFIG_SMP
@@ -121 +120 @@
 
                 /* PIC */
-                i8259_init((i8259_t *) I8259_PIC0_BASE,
-                    (i8259_t *) I8259_PIC1_BASE, IVT_IRQBASE);
-
-                /* Set PIC operations. */
-                pic_ops = &i8259_pic_ops;
+                i8259_init();
         }
 }
@@ -204 +199 @@
                         indev_t *kbrd = kbrd_wire(kbrd_instance, sink);
                         i8042_wire(i8042_instance, kbrd);
-                        pic_ops->enable_irqs(1 << IRQ_KBD);
-                        pic_ops->enable_irqs(1 << IRQ_MOUSE);
+                        trap_virtual_enable_irqs(1 << IRQ_KBD);
+                        trap_virtual_enable_irqs(1 << IRQ_MOUSE);
                 }
         }
@@ -230 +225 @@
                         indev_t *srln = srln_wire(srln_instance, sink);
                         ns16550_wire(ns16550_instance, srln);
-                        pic_ops->enable_irqs(1 << IRQ_NS16550);
+                        trap_virtual_enable_irqs(1 << IRQ_NS16550);
                 }
 #endif
@@ -241 +236 @@
 #endif
 
-        sysinfo_set_item_val(pic_ops->get_name(), NULL, true);
+        if (irqs_info != NULL)
+                sysinfo_set_item_val(irqs_info, NULL, true);
 }