Index: kernel/arch/sparc64/src/drivers/kbd.c
===================================================================
--- kernel/arch/sparc64/src/drivers/kbd.c	(revision 7d60cf59c22009459162657970aeff4fb02727ed)
+++ kernel/arch/sparc64/src/drivers/kbd.c	(revision 5c06c1c2c7f8ec08d0fbfca6238ce9e6285ef01c)
@@ -155,6 +155,7 @@
 #ifdef CONFIG_NS16550
 	case KBD_NS16550:
-		ns16550_init(device_assign_devno(),
-		    (ioport_t) (hw_map(aligned_addr, offset + size) + offset), inr, cir, cir_arg);
+		(void) ns16550_init((ns16550_t *) (hw_map(aligned_addr,
+		    offset + size) + offset), device_assign_devno(), inr, cir,
+		    cir_arg);
 		break;
 #endif