Index: kernel/genarch/include/kbd/i8042.h
===================================================================
--- kernel/genarch/include/kbd/i8042.h	(revision 26e5160986d65c791387860845025028a420a74a)
+++ kernel/genarch/include/kbd/i8042.h	(revision e7abb0e3396ad17432846b71e804a8fb835dceb8)
@@ -51,6 +51,4 @@
 
 extern void i8042_init(devno_t kbd_devno, inr_t kbd_inr, devno_t mouse_devno, inr_t mouse_inr);
-extern void i8042_grab(void);
-extern void i8042_release(void);
 
 #endif
Index: kernel/genarch/include/kbd/ns16550.h
===================================================================
--- kernel/genarch/include/kbd/ns16550.h	(revision 26e5160986d65c791387860845025028a420a74a)
+++ kernel/genarch/include/kbd/ns16550.h	(revision e7abb0e3396ad17432846b71e804a8fb835dceb8)
@@ -70,6 +70,4 @@
 
 extern bool ns16550_init(ns16550_t *, devno_t, inr_t, cir_t, void *);
-extern void ns16550_grab(void);
-extern void ns16550_release(void);
 extern irq_ownership_t ns16550_claim(irq_t *);
 extern void ns16550_irq_handler(irq_t *);