Index: uspace/app/init/init.c
===================================================================
--- uspace/app/init/init.c	(revision 4deb8b5597965bf2e7cb822f07fab72960edddfa)
+++ uspace/app/init/init.c	(revision 5f0123bb4069b65dc1128e322d1a5ebca3ebd0ae)
@@ -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) {