Index: kernel/arch/sparc64/src/drivers/kbd.c
===================================================================
--- kernel/arch/sparc64/src/drivers/kbd.c	(revision 4ddc76be7c49eaa7cd9d52da8a9be049015fe9cd)
+++ kernel/arch/sparc64/src/drivers/kbd.c	(revision 32ddab4e3c97ec2da367368b6a5ae66a60979eb9)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup sparc64	
+/** @addtogroup sparc64
  * @{
  */
@@ -168,6 +168,8 @@
 		z8530 = (z8530_t *) hw_map(aligned_addr, offset + size) +
 		    offset;
-		kbrd_init(stdin);
-		(void) z8530_init(z8530, devno, inr, cir, cir_arg, &kbrdin);
+		
+		indev_t *kbrdin = z8530_init(z8530, devno, inr, cir, cir_arg);
+		if (kbrdin)
+			kbrd_init(kbrdin);
 		
 		/*
@@ -189,6 +191,8 @@
 		ns16550 = (ns16550_t *) hw_map(aligned_addr, offset + size) +
 		    offset;
-		kbrd_init(stdin);
-		(void) ns16550_init(ns16550, devno, inr, cir, cir_arg, &kbrdin);
+		
+		indev_t *kbrdin = ns16550_init(ns16550, devno, inr, cir, cir_arg);
+		if (kbrdin)
+			kbrd_init(kbrdin);
 		
 		/*