HelenOS sources

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