gicv2_dev_gone 50 uspace/drv/intctl/gicv2/main.c static errno_t gicv2_dev_gone(ddf_dev_t *dev); gicv2_dev_gone 57 uspace/drv/intctl/gicv2/main.c .dev_gone = gicv2_dev_gone,