/* Get the number of ticks (in CONFIG_SYS_HZ resolution)  */
unsigned long long get_ticks(void)
/* Get the number of ticks (in CONFIG_SYS_HZ resolution)  */
unsigned long long get_ticks(void)
{
	unsigned long long sys_ticks;
	read_timer();
	sys_ticks = timer.ticks * CONFIG_SYS_HZ;
	do_div(sys_ticks, TIMER_FREQ);
	return sys_ticks;
}