Index: kernel/arch/sparc64/src/drivers/kbd.c
===================================================================
--- kernel/arch/sparc64/src/drivers/kbd.c	(revision ae318d3535cba06a6996f270db31a961fae402ad)
+++ kernel/arch/sparc64/src/drivers/kbd.c	(revision 70554dddbb6288c84c93b2b9a9b684e7df443f3e)
@@ -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