HelenOS sources

gicv2_inum_get     70 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	gicv2_inum_get(&hikey960.gicv2, &inum, &cpuid);
gicv2_inum_get     88 kernel/arch/arm64/src/mach/virt/virt.c 	gicv2_inum_get(&virt.gicv2, &inum, &cpuid);
gicv2_inum_get    164 kernel/genarch/include/genarch/drivers/gicv2/gicv2.h extern void gicv2_inum_get(gicv2_t *, unsigned *, unsigned *);