HelenOS sources

tick_init          44 kernel/arch/sparc64/include/arch/drivers/tick.h extern void tick_init(void);
tick_init         113 kernel/arch/sparc64/src/cpu/sun4u/cpu.c 	tick_init();
tick_init          74 kernel/arch/sparc64/src/cpu/sun4v/cpu.c 	tick_init();