HelenOS sources

gicv2_enable      105 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	gicv2_enable(&hikey960.gicv2, HIKEY960_UART_IRQ);
gicv2_enable      110 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	gicv2_enable(&hikey960.gicv2, HIKEY960_VTIMER_IRQ);
gicv2_enable      122 kernel/arch/arm64/src/mach/virt/virt.c 	gicv2_enable(&virt.gicv2, VIRT_UART_IRQ);
gicv2_enable      127 kernel/arch/arm64/src/mach/virt/virt.c 	gicv2_enable(&virt.gicv2, VIRT_VTIMER_IRQ);
gicv2_enable      166 kernel/genarch/include/genarch/drivers/gicv2/gicv2.h extern void gicv2_enable(gicv2_t *, unsigned);