Index: kernel/genarch/include/kbd/ns16550.h
===================================================================
--- kernel/genarch/include/kbd/ns16550.h	(revision 7dcf22a389ae4373e29fc2686bf9bae2ac3a8d39)
+++ kernel/genarch/include/kbd/ns16550.h	(revision 4874c2dc3da3748951cb71f24805c35b88106d0f)
@@ -41,5 +41,5 @@
 #include <ddi/irq.h>
 
-extern void ns16550_init(void);
+extern void ns16550_init(devno_t devno, inr_t inr, uintptr_t vaddr);
 extern void ns16550_poll(void);
 extern void ns16550_grab(void);
Index: kernel/genarch/include/kbd/z8530.h
===================================================================
--- kernel/genarch/include/kbd/z8530.h	(revision 7dcf22a389ae4373e29fc2686bf9bae2ac3a8d39)
+++ kernel/genarch/include/kbd/z8530.h	(revision 4874c2dc3da3748951cb71f24805c35b88106d0f)
@@ -43,5 +43,5 @@
 extern bool z8530_belongs_to_kernel;
 
-extern void z8530_init(void);
+extern void z8530_init(devno_t devno, inr_t inr, uintptr_t vaddr);
 extern void z8530_poll(void);
 extern void z8530_grab(void);