HelenOS sources

gicv2_cpui_regs_t  153 kernel/genarch/include/genarch/drivers/gicv2/gicv2.h } gicv2_cpui_regs_t;
gicv2_cpui_regs_t  160 uspace/drv/intctl/gicv2/gicv2.c } gicv2_cpui_regs_t;
HelenOS homepage, sources at GitHub