HelenOS sources

devman_get_drivers  212 uspace/app/devctl/devctl.c 	rc = devman_get_drivers(&drvs, &ndrvs);
devman_get_drivers   75 uspace/lib/device/include/devman.h extern errno_t devman_get_drivers(devman_handle_t **, size_t *);
devman_get_drivers  796 uspace/srv/devman/client_conn.c 			devman_get_drivers(&call);