HelenOS sources

root/uspace/lib/device/include/

[..]
bd.h bd_srv.h device/ devman.h ieee80211/
io/ ipc/ irc.h nic/ pci.h
types/ vbd.h vol.h
[..]
HelenOS homepage, sources at GitHub