HelenOS sources

root/kernel/generic/include/ddi/

[..]
ddi.h irq.h
[..]
HelenOS homepage, sources at GitHub