HelenOS sources

device_state_t    131 uspace/srv/devman/devman.h 	device_state_t state;
device_state_t    563 uspace/srv/devman/drv_conn.c 			device_state_t dev_state;
device_state_t    375 uspace/srv/devman/fun.c 			device_state_t dev_state;
device_state_t    464 uspace/srv/devman/fun.c 	device_state_t dev_state;