HelenOS sources

devman_driver_get_handle  635 uspace/lib/device/src/devman.c errno_t devman_driver_get_handle(const char *drvname, devman_handle_t *handle)
devman_driver_get_handle  581 uspace/srv/devman/client_conn.c static void devman_driver_get_handle(ipc_call_t *icall)
HelenOS homepage, sources at GitHub