Index: uspace/srv/char/i8042/i8042.c
===================================================================
--- uspace/srv/char/i8042/i8042.c	(revision d557e4febd30913910ceff528bf3a6fc295cc9b4)
+++ uspace/srv/char/i8042/i8042.c	(revision 4da7d792013fbdc866103e3dfcee1fcf21066684)
@@ -208,12 +208,9 @@
 static void i8042_connection(ipc_callid_t iid, ipc_call_t *icall)
 {
-	void *fs_va = NULL;
 	ipc_callid_t callid;
 	ipc_call_t call;
 	ipcarg_t method;
 	dev_handle_t dh;
-	int flags;
 	int retval;
-	size_t cnt;
 	int dev_id, i;
 
@@ -225,9 +222,10 @@
 	/* Determine which disk device is the client connecting to. */
 	dev_id = -1;
-	for (i = 0; i < MAX_DEVS; i++)
+	for (i = 0; i < MAX_DEVS; i++) {
 		if (i8042_port[i].dev_handle == dh)
 			dev_id = i;
-
-	if (dev_id < 0/* || disk[dev_id].present == false*/) {
+	}
+
+	if (dev_id < 0) {
 		ipc_answer_0(iid, EINVAL);
 		return;