Index: kernel/arch/sparc64/src/drivers/kbd.c
===================================================================
--- kernel/arch/sparc64/src/drivers/kbd.c	(revision 17646b126836c05adc320cd532837945696e44ab)
+++ kernel/arch/sparc64/src/drivers/kbd.c	(revision e40ec257e2b93afee1fa3a77f2db7c520175c232)
@@ -163,6 +163,6 @@
 #ifdef CONFIG_Z8530
 	case KBD_Z8530:
-		z8530 = (z8530_t *) hw_map(aligned_addr, offset + size) +
-		    offset;
+		z8530 = (z8530_t *)
+		    (hw_map(aligned_addr, offset + size) + offset);
 		
 		indev_t *kbrdin_z8530 = z8530_init(z8530, inr, cir, cir_arg);
@@ -184,6 +184,6 @@
 #ifdef CONFIG_NS16550
 	case KBD_NS16550:
-		ns16550 = (ns16550_t *) hw_map(aligned_addr, offset + size) +
-		    offset;
+		ns16550 = (ns16550_t *)
+		   (hw_map(aligned_addr, offset + size) + offset);
 		
 		indev_t *kbrdin_ns16550 = ns16550_init(ns16550, inr, cir, cir_arg);