Index: uspace/lib/c/include/ipc/devman.h
===================================================================
--- uspace/lib/c/include/ipc/devman.h	(revision 991f645937e5e281d6996ad4623f9ab33c71916d)
+++ uspace/lib/c/include/ipc/devman.h	(revision 5587cf734004dfd2d781ebd8e5af563d93e1bf23)
@@ -42,5 +42,5 @@
 #define DEVMAN_NAME_MAXLEN 256
 
-typedef ipcarg_t device_handle_t;
+typedef ipcarg_t devman_handle_t;
 
 /** Ids of device models used for device-to-driver matching.