/* This function is derived from PowerPC code (timebase clock frequency). On ARM it returns the number of timer ticks per second.  */
ulong get_tbclk(void)
/* This function is derived from PowerPC code (timebase clock frequency). On ARM it returns the number of timer ticks per second.  */
ulong get_tbclk(void)
{
	unsigned long freq;
	asm volatile("mrc p15, 0, %0, c14, c0, 0" : "=r" (freq));
	return freq;
}