Index: uspace/srv/kbd/ctl/pc.c
===================================================================
--- uspace/srv/kbd/ctl/pc.c	(revision c063d96e697d575d95acdcf12a82fa94719306b0)
+++ uspace/srv/kbd/ctl/pc.c	(revision f954906bee52bc1fbf81527f98a0081b1dfc3747)
@@ -208,4 +208,7 @@
 		map_length = sizeof(scanmap_e0) / sizeof(int);
 		break;
+	default:
+		map = NULL;
+		map_length = 0;
 	}
 
@@ -219,5 +222,5 @@
 	}
 
-	if (scancode < 0 || scancode >= map_length)
+	if ((scancode < 0) || ((size_t) scancode >= map_length))
 		return;
 
Index: uspace/srv/kbd/genarch/gsp.c
===================================================================
--- uspace/srv/kbd/genarch/gsp.c	(revision c063d96e697d575d95acdcf12a82fa94719306b0)
+++ uspace/srv/kbd/genarch/gsp.c	(revision f954906bee52bc1fbf81527f98a0081b1dfc3747)
@@ -245,5 +245,5 @@
 	key[1] = t->input;
 
-	hash_table_insert(&p->trans, &key, &t->link);
+	hash_table_insert(&p->trans, key, &t->link);
 }
 
@@ -277,5 +277,6 @@
 
 	t = hash_table_get_instance(item, gsp_trans_t, link);
-	return (key[0] == t->old_state && key[1] == t->input);
+	return ((key[0] == (unsigned long) t->old_state)
+	    && (key[1] == (unsigned long) t->input));
 }
 
Index: uspace/srv/kbd/layout/cz.c
===================================================================
--- uspace/srv/kbd/layout/cz.c	(revision c063d96e697d575d95acdcf12a82fa94719306b0)
+++ uspace/srv/kbd/layout/cz.c	(revision f954906bee52bc1fbf81527f98a0081b1dfc3747)
@@ -400,4 +400,6 @@
 		return parse_ms_carka(ev);
 	}
+	
+	return 0;
 }
 
Index: uspace/srv/kbd/port/i8042.c
===================================================================
--- uspace/srv/kbd/port/i8042.c	(revision c063d96e697d575d95acdcf12a82fa94719306b0)
+++ uspace/srv/kbd/port/i8042.c	(revision f954906bee52bc1fbf81527f98a0081b1dfc3747)
@@ -136,6 +136,6 @@
 	
 	/* Enable kbd */
-	i8042_kbd.cmds[0].addr = &((i8042_t *) i8042_kernel)->status;
-	i8042_kbd.cmds[3].addr = &((i8042_t *) i8042_kernel)->data;
+	i8042_kbd.cmds[0].addr = (void *) &((i8042_t *) i8042_kernel)->status;
+	i8042_kbd.cmds[3].addr = (void *) &((i8042_t *) i8042_kernel)->data;
 	ipc_register_irq(sysinfo_value("kbd.inr"), device_assign_devno(), 0, &i8042_kbd);