HelenOS sources
machine_enable_vtimer_irq 49 kernel/arch/arm64/include/arch/machine_func.h inr_t (*machine_enable_vtimer_irq)(void);
machine_enable_vtimer_irq 60 kernel/arch/arm64/include/arch/machine_func.h extern inr_t machine_enable_vtimer_irq(void);
machine_enable_vtimer_irq 160 kernel/arch/arm64/src/interrupt.c inr_t timer_inr = machine_enable_vtimer_irq();
machine_enable_vtimer_irq 94 kernel/arch/arm64/src/machine_func.c return machine_ops->machine_enable_vtimer_irq();
HelenOS homepage, sources at GitHub