gicv2_gone 57 uspace/drv/intctl/gicv2/gicv2.h extern errno_t gicv2_gone(gicv2_t *); gicv2_gone 135 uspace/drv/intctl/gicv2/main.c return gicv2_gone(gicv2);