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 424558affeefec651a36a1c2ef6e37c731c06347)
@@ -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.