Index: kernel/genarch/include/kbd/ns16550.h
===================================================================
--- kernel/genarch/include/kbd/ns16550.h	(revision dc22844fb0d5ea9ccfad3f1097a7bf38da0c0ef9)
+++ kernel/genarch/include/kbd/ns16550.h	(revision 0cb9fa0b1256166b7043ccb33e483aaac3beeaba)
@@ -72,5 +72,5 @@
 extern void ns16550_grab(void);
 extern void ns16550_release(void);
-extern irq_ownership_t ns16550_claim(void *);
+extern irq_ownership_t ns16550_claim(irq_t *);
 extern void ns16550_irq_handler(irq_t *);
 
Index: kernel/genarch/include/kbd/z8530.h
===================================================================
--- kernel/genarch/include/kbd/z8530.h	(revision dc22844fb0d5ea9ccfad3f1097a7bf38da0c0ef9)
+++ kernel/genarch/include/kbd/z8530.h	(revision 0cb9fa0b1256166b7043ccb33e483aaac3beeaba)
@@ -50,5 +50,5 @@
 extern void z8530_interrupt(void);
 extern char z8530_key_read(chardev_t *);
-extern irq_ownership_t z8530_claim(void *);
+extern irq_ownership_t z8530_claim(irq_t *);
 extern void z8530_irq_handler(irq_t *);