Index: kernel/arch/sparc64/src/drivers/kbd.c
===================================================================
--- kernel/arch/sparc64/src/drivers/kbd.c	(revision b2fa1204c76e1eaec329888181d281aac04ed61e)
+++ kernel/arch/sparc64/src/drivers/kbd.c	(revision dc5a1f262fb49af9ac9f66e998d2fcbff5f0ab2a)
@@ -122,5 +122,5 @@
 	
 	ns16550_instance_t *ns16550_instance = ns16550_init(ns16550, inr, cir,
-	    cir_arg, NULL);
+	    cir_arg);
 	if (ns16550_instance) {
 		kbrd_instance_t *kbrd_instance = kbrd_init();
