gicv2_dev_remove 49 uspace/drv/intctl/gicv2/main.c static errno_t gicv2_dev_remove(ddf_dev_t *dev); gicv2_dev_remove 56 uspace/drv/intctl/gicv2/main.c .dev_remove = gicv2_dev_remove,