Index: kernel/arch/sparc64/src/drivers/kbd.c
===================================================================
--- kernel/arch/sparc64/src/drivers/kbd.c	(revision e2cc9a09d69ac8aab988fa3f12b67e7a42704641)
+++ kernel/arch/sparc64/src/drivers/kbd.c	(revision 8d4a5772bb8975bd74b05c14ebf01c08c7cd18ef)
@@ -109,6 +109,6 @@
 			return;
 		}
-		if (!ofw_fhc_map_interrupts(node->parent, ((ofw_fhc_reg_t *) prop->value), interrupts, &inr)) {
-			printf("Failed to determine keyboard interrupts.\n");
+		if (!ofw_fhc_map_interrupt(node->parent, ((ofw_fhc_reg_t *) prop->value), interrupts, &inr)) {
+			printf("Failed to determine keyboard interrupt.\n");
 			return;
 		}
@@ -120,6 +120,6 @@
 			return;
 		}
-		if (!ofw_ebus_map_interrupts(node->parent, ((ofw_ebus_reg_t *) prop->value), interrupts, &inr)) {
-			printf("Failed to determine keyboard interrupts.\n");
+		if (!ofw_ebus_map_interrupt(node->parent, ((ofw_ebus_reg_t *) prop->value), interrupts, &inr)) {
+			printf("Failed to determine keyboard interrupt.\n");
 			return;
 		}