DISPCFG_GET_ASGN_DEV_LIST 401 uspace/lib/dispcfg/src/dispcfg.c req = async_send_1(exch, DISPCFG_GET_ASGN_DEV_LIST, seat_id, &answer); DISPCFG_GET_ASGN_DEV_LIST 448 uspace/lib/dispcfg/src/dispcfg_srv.c case DISPCFG_GET_ASGN_DEV_LIST:HelenOS homepage, sources at GitHub