gicv2_t 160 kernel/genarch/include/genarch/drivers/gicv2/gicv2.h } gicv2_t; gicv2_t 53 uspace/drv/intctl/gicv2/gicv2.h } gicv2_t;