3  * Cirrus Logic EP93xx timer support.
30 } timer;  variable
45 	if (now >= timer.last_read)  in read_timer()
46 		timer.ticks += now - timer.last_read;  in read_timer()
49 		timer.ticks += TIMER_MAX_VAL - timer.last_read + now;  in read_timer()
51 	timer.last_read = now;  in read_timer()
63 	sys_ticks = timer.ticks * CONFIG_SYS_HZ;  in get_ticks()
80 	target = timer.ticks + usecs_to_ticks(usec);  in __udelay()
82 	while (timer.ticks < target)  in __udelay()
90 	/* use timer 3 with 508KHz and free running, not enabled now */  in timer_init()
93 	/* set initial timer value */  in timer_init()
96 	/* Enable the timer */  in timer_init()
100 	/* Reset the timer */  in timer_init()
102 	timer.ticks = 0;  in timer_init()
109  * On ARM it returns the number of timer ticks per second.