Index: kernel/genarch/src/drivers/z8530/z8530.c
===================================================================
--- kernel/genarch/src/drivers/z8530/z8530.c	(revision 3c79afe6675938ba3639db7d31f8a682457f7203)
+++ kernel/genarch/src/drivers/z8530/z8530.c	(revision e16e0d595cccccd7668bd8111478ac903c1b3be3)
@@ -41,5 +41,5 @@
 #include <mm/slab.h>
 
-indev_operations_t kbrdin_ops = {
+static indev_operations_t kbrdin_ops = {
 	.poll = NULL
 };
@@ -83,5 +83,5 @@
 	if (z8530_read(&dev->ctl_a, RR0) & RR0_RCA) {
 		uint8_t x = z8530_read(&dev->ctl_a, RR8);
-		chardev_push_character(&instance->kbrdin, x);
+		indev_push_character(&instance->kbrdin, x);
 	}
 }