Index: uspace/lib/dispcfg/include/dispcfg.h
===================================================================
--- uspace/lib/dispcfg/include/dispcfg.h	(revision 5b19d806b26e4a267739e5ac28bbe9194259b766)
+++ uspace/lib/dispcfg/include/dispcfg.h	(revision b3eeae586ec8b5fd5a43327f136f78e7ef242102)
@@ -49,4 +49,6 @@
 extern errno_t dispcfg_seat_create(dispcfg_t *, const char *, sysarg_t *);
 extern errno_t dispcfg_seat_delete(dispcfg_t *, sysarg_t);
+extern errno_t dispcfg_dev_assign(dispcfg_t *, sysarg_t, sysarg_t);
+extern errno_t dispcfg_dev_unassign(dispcfg_t *, sysarg_t);
 
 #endif
Index: uspace/lib/dispcfg/include/dispcfg_srv.h
===================================================================
--- uspace/lib/dispcfg/include/dispcfg_srv.h	(revision 5b19d806b26e4a267739e5ac28bbe9194259b766)
+++ uspace/lib/dispcfg/include/dispcfg_srv.h	(revision b3eeae586ec8b5fd5a43327f136f78e7ef242102)
@@ -54,4 +54,6 @@
 	errno_t (*seat_create)(void *, const char *, sysarg_t *);
 	errno_t (*seat_delete)(void *, sysarg_t);
+	errno_t (*dev_assign)(void *, sysarg_t, sysarg_t);
+	errno_t (*dev_unassign)(void *, sysarg_t);
 	errno_t (*get_event)(void *, dispcfg_ev_t *);
 };
Index: uspace/lib/dispcfg/include/ipc/dispcfg.h
===================================================================
--- uspace/lib/dispcfg/include/ipc/dispcfg.h	(revision 5b19d806b26e4a267739e5ac28bbe9194259b766)
+++ uspace/lib/dispcfg/include/ipc/dispcfg.h	(revision b3eeae586ec8b5fd5a43327f136f78e7ef242102)
@@ -44,4 +44,6 @@
 	DISPCFG_SEAT_CREATE,
 	DISPCFG_SEAT_DELETE,
+	DISPCFG_DEV_ASSIGN,
+	DISPCFG_DEV_UNASSIGN,
 	DISPCFG_GET_EVENT,
 } dispcfg_request_t;