HelenOS sources

devman_fun_get_driver_name   92 uspace/app/devctl/devctl.c 	rc = devman_fun_get_driver_name(funh, drv_name, MAX_NAME_LENGTH);
devman_fun_get_driver_name  221 uspace/app/pci/pci.c 		rc = devman_fun_get_driver_name(dev_info.dev_handle,
devman_fun_get_driver_name   68 uspace/lib/device/include/devman.h extern errno_t devman_fun_get_driver_name(devman_handle_t, char *, size_t);
devman_fun_get_driver_name  781 uspace/srv/devman/client_conn.c 			devman_fun_get_driver_name(&call);