/* Get the current 64 bit timer tick count  */
unsigned long long get_ticks(void)
/* Get the current 64 bit timer tick count  */
unsigned long long get_ticks(void)
{
	unsigned long now = readl(&timer->tim34);
	if (now < gd->arch.tbl)
		gd->arch.tbu++;
	gd->arch.tbl = now;
	return (((unsigned long long)gd->arch.tbu) << 32) | gd->arch.tbl;
}