Index: kernel/arch/amd64/include/arch/interrupt.h
===================================================================
--- kernel/arch/amd64/include/arch/interrupt.h	(revision f6cf76f7843c1167e30be1aca613561ef0b4f295)
+++ kernel/arch/amd64/include/arch/interrupt.h	(revision 3d0fd0d4e356d8bc0a863d166ef6d282ba5f3fe7)
@@ -86,5 +86,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;