/* 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)
{
	return clock_get(CLOCK_SYSTICK);
}