/* Return the timebase clock frequency i.e. how often the timer decrements  */
ulong get_tbclk(void)
/* Return the timebase clock frequency i.e. how often the timer decrements  */
ulong get_tbclk(void)
{
	unsigned long long tmp = CONFIG_SYS_HZ_CLOCK;
	do_div(tmp, div_clock);
	return tmp;
}