HelenOS sources

root/uspace/lib/device/include/ipc/

[..]
adb.h bd.h chardev.h devman.h irc.h
pci.h serial_ctl.h vbd.h vol.h
[..]
HelenOS homepage, sources at GitHub