gicv2_distr_regs_t 102 kernel/genarch/include/genarch/drivers/gicv2/gicv2.h } gicv2_distr_regs_t; gicv2_distr_regs_t 109 uspace/drv/intctl/gicv2/gicv2.c } gicv2_distr_regs_t;