HelenOS sources

tick_read          43 kernel/arch/sparc64/include/arch/cycle.h 	return tick_read();
tick_read          52 kernel/arch/sparc64/include/arch/drivers/tick.h 	return TICK_COUNTER_MASK & tick_read();
tick_read         125 kernel/arch/sparc64/src/smp/sun4u/ipi.c 			delay(20 + (tick_read() & 0xff));
tick_read         154 kernel/arch/sparc64/src/sun4u/sparc64.c 	uint64_t stop = tick_read() + (uint64_t) usec * (uint64_t)
tick_read         157 kernel/arch/sparc64/src/sun4u/sparc64.c 	while (tick_read() < stop)
tick_read         152 kernel/arch/sparc64/src/sun4v/sparc64.c 	uint64_t stop = tick_read() + (uint64_t) usec * (uint64_t)
tick_read         155 kernel/arch/sparc64/src/sun4v/sparc64.c 	while (tick_read() < stop)