/* Get timebase clock frequency (like cpu_clk in Hz)  */
unsigned long get_tbclk(void)
/* Get timebase clock frequency (like cpu_clk in Hz)  */
unsigned long get_tbclk(void)
{
	ulong tbclk;
	tbclk = (gd->bus_clk + 3L) / 4L;
	return tbclk;
}