HelenOS sources

HIKEY960_VTIMER_IRQ  110 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	gicv2_enable(&hikey960.gicv2, HIKEY960_VTIMER_IRQ);
HIKEY960_VTIMER_IRQ  111 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	return HIKEY960_VTIMER_IRQ;