HelenOS sources

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);
HelenOS homepage, sources at GitHub