HelenOS sources

uspace/drv/bus/pci/pciintel/ctl.h
uspace/drv/hid/adb-kbd/ctl.h
HelenOS homepage, sources at GitHub