gicv2_remove 56 uspace/drv/intctl/gicv2/gicv2.h extern errno_t gicv2_remove(gicv2_t *); gicv2_remove 126 uspace/drv/intctl/gicv2/main.c return gicv2_remove(gicv2);