1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Copyright (c) 2014 Zhang, Keguang <keguang.zhang@gmail.com>
7 #include <linux/of_clk.h>
10 void __init plat_time_init(void)
12 struct clk *clk = NULL;
14 /* initialize LS1X clocks */
17 /* setup mips r4k timer */
18 clk = clk_get(NULL, "cpu_clk");
20 panic("unable to get cpu clock, err=%ld", PTR_ERR(clk));
22 mips_hpt_frequency = clk_get_rate(clk) / 2;