HelenOS sources
root
/
uspace
/
drv
/
intctl
/gicv2/
[..]
gicv2.c
gicv2.h
main.c
[..]
HelenOS homepage
,
sources at GitHub