/* Get timebase clock frequency (like cpu_clk in Hz) This is the sys_logic_clk (memory bus) divided by 4  */
unsigned long get_tbclk(void)
/* Get timebase clock frequency (like cpu_clk in Hz) This is the sys_logic_clk (memory bus) divided by 4  */
unsigned long get_tbclk(void)
{
	return ((get_bus_freq (0) + 2L) / 4L);
}