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

File:

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

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

@@ -86 +86 @@
         disable_irqs_function = pic_disable_irqs;
         eoi_function = pic_eoi;
+        irqs_info = "i8259";
 
         pic_disable_irqs(0xffff);               /* disable all irq's */
@@ -121 +122 @@
 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);
 }