HelenOS sources

gicv2_inum_get_total  116 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	return gicv2_inum_get_total(&hikey960.gicv2);
gicv2_inum_get_total  133 kernel/arch/arm64/src/mach/virt/virt.c 	return gicv2_inum_get_total(&virt.gicv2);
gicv2_inum_get_total  163 kernel/genarch/include/genarch/drivers/gicv2/gicv2.h extern unsigned gicv2_inum_get_total(gicv2_t *);