gicv2_dev_add 48 uspace/drv/intctl/gicv2/main.c static errno_t gicv2_dev_add(ddf_dev_t *dev); gicv2_dev_add 55 uspace/drv/intctl/gicv2/main.c .dev_add = gicv2_dev_add,