HelenOS sources

DEVMAN_DRIVER_GET_STATE  698 uspace/lib/device/src/devman.c 	errno_t rc = async_req_1_1(exch, DEVMAN_DRIVER_GET_STATE, drvh,
DEVMAN_DRIVER_GET_STATE  810 uspace/srv/devman/client_conn.c 		case DEVMAN_DRIVER_GET_STATE:
HelenOS homepage, sources at GitHub