HelenOS sources

gicv2_init         64 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	gicv2_init(&hikey960.gicv2, distr, cpui);
gicv2_init         82 kernel/arch/arm64/src/mach/virt/virt.c 	gicv2_init(&virt.gicv2, distr, cpui);
gicv2_init        162 kernel/genarch/include/genarch/drivers/gicv2/gicv2.h extern void gicv2_init(gicv2_t *, gicv2_distr_regs_t *, gicv2_cpui_regs_t *);