VIRT_VTIMER_IRQ 127 kernel/arch/arm64/src/mach/virt/virt.c gicv2_enable(&virt.gicv2, VIRT_VTIMER_IRQ); VIRT_VTIMER_IRQ 128 kernel/arch/arm64/src/mach/virt/virt.c return VIRT_VTIMER_IRQ;