HelenOS sources

devman_driver_get_state  253 uspace/app/devctl/devctl.c 		rc = devman_driver_get_state(drvs[i], &state);
devman_driver_get_state  299 uspace/app/devctl/devctl.c 	rc = devman_driver_get_state(drvh, &state);
devman_driver_get_state   86 uspace/lib/device/include/devman.h extern errno_t devman_driver_get_state(devman_handle_t, driver_state_t *);
devman_driver_get_state  849 uspace/srv/devman/client_conn.c 			devman_driver_get_state(&call);