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 0b4a67a31961a80515a7b28d5b2e27fbb8f7249d)
@@ -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.