Index: kernel/arch/sparc64/src/drivers/kbd.c
===================================================================
--- kernel/arch/sparc64/src/drivers/kbd.c	(revision c9b550bff53b2109d2746935072fca1bbe632894)
+++ kernel/arch/sparc64/src/drivers/kbd.c	(revision f9f9a132b6bbf6fb3fbfbc90aa2f576c0bf1b017)
@@ -149,6 +149,7 @@
 #ifdef CONFIG_Z8530
 	case KBD_Z8530:
-		z8530_init(device_assign_devno(),
-		    hw_map(aligned_addr, offset + size) + offset, inr, cir, cir_arg);
+		(void) z8530_init((z8530_t *) hw_map(aligned_addr,
+		    offset + size) + offset, device_assign_devno(), inr, cir,
+		    cir_arg);
 		break;
 #endif
Index: kernel/arch/sparc64/src/drivers/sgcn.c
===================================================================
--- kernel/arch/sparc64/src/drivers/sgcn.c	(revision c9b550bff53b2109d2746935072fca1bbe632894)
+++ kernel/arch/sparc64/src/drivers/sgcn.c	(revision f9f9a132b6bbf6fb3fbfbc90aa2f576c0bf1b017)
@@ -382,11 +382,5 @@
 	
 	if (*in_rdptr_ptr != *in_wrptr_ptr) {
-		if (sgcn_irq.notif_cfg.notify && sgcn_irq.notif_cfg.answerbox) {
-			ipc_irq_send_notif(&sgcn_irq);
-			spinlock_unlock(&sgcn_irq.lock);
-			interrupts_restore(ipl);
-			spinlock_unlock(&sgcn_input_lock);
-			return;
-		}
+		/* XXX: send notification to userspace */
 	}