Index: uspace/app/init/init.c
===================================================================
--- uspace/app/init/init.c	(revision 4deb8b5597965bf2e7cb822f07fab72960edddfa)
+++ uspace/app/init/init.c	(revision eff1f033c237dd4f18d79cf25fbd33de6fa9278c)
@@ -185,5 +185,5 @@
 	
 	/* Wait for the input device to be ready */
-	dev_handle_t handle;
+	devmap_handle_t handle;
 	rc = devmap_device_get_handle(dev, &handle, IPC_FLAG_BLOCKING);
 	if (rc != EOK) {
@@ -210,5 +210,5 @@
 	
 	/* Wait for the terminal device to be ready */
-	dev_handle_t handle;
+	devmap_handle_t handle;
 	rc = devmap_device_get_handle(dev, &handle, IPC_FLAG_BLOCKING);
 	if (rc != EOK) {