1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Copyright (C) 2007 Lemote, Inc. & Institute of Computing Technology
4 * Author: Fuxin Zhang, zhangfx@lemote.com
6 * Copyright (C) 2009 Lemote Inc.
7 * Author: Wu Zhangjin, wuzhangjin@gmail.com
14 #include <linux/clk.h>
15 #include <linux/of_clk.h>
17 void __init
plat_time_init(void)
20 struct device_node
*np
;
22 if (loongson_sysconf
.fw_interface
== LOONGSON_DTB
) {
25 np
= of_get_cpu_node(0, NULL
);
27 pr_err("Failed to get CPU node\n");
31 clk
= of_clk_get(np
, 0);
33 pr_err("Failed to get CPU clock: %ld\n", PTR_ERR(clk
));
37 cpu_clock_freq
= clk_get_rate(clk
);
41 /* setup mips r4k timer */
42 mips_hpt_frequency
= cpu_clock_freq
/ 2;
44 #ifdef CONFIG_RS780_HPET