Index: kernel/genarch/include/kbd/ns16550.h
===================================================================
--- kernel/genarch/include/kbd/ns16550.h	(revision ee06f2a049baaea0e4c9fc693e7c3c34f3105202)
+++ kernel/genarch/include/kbd/ns16550.h	(revision 6cd9aa607e6515e17e369c7e888779416251db4d)
@@ -47,6 +47,6 @@
 extern void ns16550_release(void);
 extern char ns16550_key_read(chardev_t *);
-extern irq_ownership_t ns16550_claim(void);
-extern void ns16550_irq_handler(irq_t *, void *, ...);
+extern irq_ownership_t ns16550_claim(void *);
+extern void ns16550_irq_handler(irq_t *);
 
 #include <arch/types.h>
Index: kernel/genarch/include/kbd/z8530.h
===================================================================
--- kernel/genarch/include/kbd/z8530.h	(revision ee06f2a049baaea0e4c9fc693e7c3c34f3105202)
+++ kernel/genarch/include/kbd/z8530.h	(revision 6cd9aa607e6515e17e369c7e888779416251db4d)
@@ -50,6 +50,6 @@
 extern void z8530_interrupt(void);
 extern char z8530_key_read(chardev_t *);
-extern irq_ownership_t z8530_claim(void);
-extern void z8530_irq_handler(irq_t *, void *, ...);
+extern irq_ownership_t z8530_claim(void *);
+extern void z8530_irq_handler(irq_t *);
 
 #endif