gicv2_add 55 uspace/drv/intctl/gicv2/gicv2.h extern errno_t gicv2_add(gicv2_t *, gicv2_res_t *); gicv2_add 117 uspace/drv/intctl/gicv2/main.c return gicv2_add(gicv2, &gicv2_res);