devman_get_drivers 622 uspace/lib/device/src/devman.c errno_t devman_get_drivers(devman_handle_t **drvs, devman_get_drivers 508 uspace/srv/devman/client_conn.c static void devman_get_drivers(ipc_call_t *icall)