HelenOS sources

gicv2_res_t       221 uspace/drv/intctl/gicv2/gicv2.c errno_t gicv2_add(gicv2_t *gicv2, gicv2_res_t *res)
gicv2_res_t        55 uspace/drv/intctl/gicv2/gicv2.h extern errno_t gicv2_add(gicv2_t *, gicv2_res_t *);
gicv2_res_t        67 uspace/drv/intctl/gicv2/main.c static errno_t gicv2_get_res(ddf_dev_t *dev, gicv2_res_t *res)
gicv2_res_t        99 uspace/drv/intctl/gicv2/main.c 	gicv2_res_t gicv2_res;