87bdd66965ddb741c691cd24edbf376bfa887af8
1 #include <linux/init.h>
2 #include <linux/kernel.h>
8 void __init
plat_time_init(void)
12 adm8668_init_clocks();
14 sys_clk
= clk_get(NULL
, "sys");
16 panic("unable to get system clock\n");
18 mips_hpt_frequency
= clk_get_rate(sys_clk
) / 2;