Index: kernel/arch/ia32/include/arch/interrupt.h
===================================================================
--- kernel/arch/ia32/include/arch/interrupt.h	(revision f6cf76f7843c1167e30be1aca613561ef0b4f295)
+++ kernel/arch/ia32/include/arch/interrupt.h	(revision b59836d5a1374709c9669b66ab1a8c63ee26b618)
@@ -90,5 +90,5 @@
 extern void (*disable_irqs_function)(uint16_t);
 extern void (*enable_irqs_function)(uint16_t);
-extern void (*eoi_function)(void);
+extern void (*eoi_function)(unsigned int);
 extern const char *irqs_info;
 
Index: kernel/arch/ia32/include/arch/smp/apic.h
===================================================================
--- kernel/arch/ia32/include/arch/smp/apic.h	(revision f6cf76f7843c1167e30be1aca613561ef0b4f295)
+++ kernel/arch/ia32/include/arch/smp/apic.h	(revision b59836d5a1374709c9669b66ab1a8c63ee26b618)
@@ -356,5 +356,5 @@
 
 extern void l_apic_init(void);
-extern void l_apic_eoi(void);
+extern void l_apic_eoi(unsigned int);
 extern int l_apic_send_custom_ipi(uint8_t, uint8_t);
 extern int l_apic_broadcast_custom_ipi(uint8_t);