devman_driver_get_devices 628 uspace/lib/device/src/devman.c errno_t devman_driver_get_devices(devman_handle_t drvh, devman_handle_t **devs, devman_driver_get_devices 540 uspace/srv/devman/client_conn.c static void devman_driver_get_devices(ipc_call_t *icall)HelenOS homepage, sources at GitHub