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 c7c350808ad86b7997f7b2e2d5a7079a40f91793)
@@ -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;