HelenOS sources
kernel/genarch/include/genarch/drivers/gicv2/gicv2.h
uspace/drv/intctl/gicv2/gicv2.h
HelenOS homepage
,
sources at GitHub