timer32_read      267 arch/arm/mach-davinci/time.c 	return (cycles_t)timer32_read(t);
timer32_read      282 arch/arm/mach-davinci/time.c 	return timer32_read(&timers[TID_CLOCKSOURCE]);