/* Setting up the clock on the MIPS boards.  */
void __init plat_time_init(void)
/* Setting up the clock on the MIPS boards.  */
void __init plat_time_init(void)
{
	mips_hpt_frequency = ar7_cpu_freq() / 2;
}