HelenOS sources

DEVICE_INVALID    710 uspace/srv/devman/driver.c 		dev->state = DEVICE_INVALID;
DEVICE_INVALID    552 uspace/srv/devman/drv_conn.c 				dev->state = DEVICE_INVALID;
HelenOS homepage, sources at GitHub