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();