Changes in kernel/arch/ia32/src/drivers/i8259.c [acc7ce4:5cb223f] in mainline

File:

• kernel/arch/ia32/src/drivers/i8259.c (modified) (6 diffs)

kernel/arch/ia32/src/drivers/i8259.c

@@ -27 +27 @@
  */
 
-/** @addtogroup ia32
+/** @addtogroup ia32    
  * @{
  */
@@ -39 +39 @@
 #include <arch/drivers/i8259.h>
 #include <cpu.h>
-#include <typedefs.h>
+#include <arch/types.h>
 #include <arch/asm.h>
 #include <arch.h>
@@ -45 +45 @@
 #include <interrupt.h>
 
-static void pic_spurious(unsigned int n, istate_t *istate);
+static void pic_spurious(int n, istate_t *istate);
 
 void i8259_init(void)
@@ -76 +76 @@
          * Register interrupt handler for the PIC spurious interrupt.
          */
-        exc_register(VECTOR_PIC_SPUR, "pic_spurious", false,
-            (iroutine_t) pic_spurious);
+        exc_register(VECTOR_PIC_SPUR, "pic_spurious", (iroutine) pic_spurious); 
 
         /*
@@ -86 +85 @@
         disable_irqs_function = pic_disable_irqs;
         eoi_function = pic_eoi;
-        irqs_info = "i8259";
 
         pic_disable_irqs(0xffff);               /* disable all irq's */
@@ -122 +120 @@
 void pic_eoi(void)
 {
-        pio_write_8((ioport8_t *) 0x20, 0x20);
-        pio_write_8((ioport8_t *) 0xa0, 0x20);
+        pio_write_8((ioport8_t *)0x20, 0x20);
+        pio_write_8((ioport8_t *)0xa0, 0x20);
 }
 
-void pic_spurious(unsigned int n __attribute__((unused)), istate_t *istate __attribute__((unused)))
+void pic_spurious(int n __attribute__((unused)), istate_t *istate __attribute__((unused)))
 {
 #ifdef CONFIG_DEBUG