HelenOS sources

uspace/lib/device/include/devman.h
uspace/lib/device/include/ipc/devman.h
uspace/srv/devman/devman.h