virt_enable_vtimer_irq 54 kernel/arch/arm64/src/mach/virt/virt.c inr_t virt_enable_vtimer_irq(void); virt_enable_vtimer_irq 68 kernel/arch/arm64/src/mach/virt/virt.c virt_enable_vtimer_irq,