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