HelenOS sources

gicv2_end          84 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	gicv2_end(&hikey960.gicv2, inum, cpuid);
gicv2_end         102 kernel/arch/arm64/src/mach/virt/virt.c 	gicv2_end(&virt.gicv2, inum, cpuid);
gicv2_end         165 kernel/genarch/include/genarch/drivers/gicv2/gicv2.h extern void gicv2_end(gicv2_t *, unsigned, unsigned);