Changes in kernel/arch/ia32/include/drivers/i8259.h [d99c1d2:2ddcc7b] in mainline

File:

• kernel/arch/ia32/include/drivers/i8259.h (modified) (1 diff)

kernel/arch/ia32/include/drivers/i8259.h

@@ -48 +48 @@
 
 extern void i8259_init(void);
-extern void pic_enable_irqs(uint16_t irqmask);
-extern void pic_disable_irqs(uint16_t irqmask);
+extern void pic_enable_irqs(uint16_t);
+extern void pic_disable_irqs(uint16_t);
 extern void pic_eoi(void);