1 /*
2  * Pistachio clocksource/timer setup
3  *
4  * Copyright (C) 2014 Google, Inc.
5  *
6  * This program is free software; you can redistribute it and/or modify it
7  * under the terms and conditions of the GNU General Public License,
8  * version 2, as published by the Free Software Foundation.
9  */
10 
11 #include <linux/clk.h>
12 #include <linux/clk-provider.h>
13 #include <linux/clocksource.h>
14 #include <linux/init.h>
15 #include <linux/of.h>
16 
17 #include <asm/mips-cps.h>
18 #include <asm/time.h>
19 
get_c0_compare_int(void)20 unsigned int get_c0_compare_int(void)
21 {
22 	return gic_get_c0_compare_int();
23 }
24 
get_c0_perfcount_int(void)25 int get_c0_perfcount_int(void)
26 {
27 	return gic_get_c0_perfcount_int();
28 }
29 EXPORT_SYMBOL_GPL(get_c0_perfcount_int);
30 
get_c0_fdc_int(void)31 int get_c0_fdc_int(void)
32 {
33 	return gic_get_c0_fdc_int();
34 }
35 
plat_time_init(void)36 void __init plat_time_init(void)
37 {
38 	struct device_node *np;
39 	struct clk *clk;
40 
41 	of_clk_init(NULL);
42 	timer_probe();
43 
44 	np = of_get_cpu_node(0, NULL);
45 	if (!np) {
46 		pr_err("Failed to get CPU node\n");
47 		return;
48 	}
49 
50 	clk = of_clk_get(np, 0);
51 	if (IS_ERR(clk)) {
52 		pr_err("Failed to get CPU clock: %ld\n", PTR_ERR(clk));
53 		return;
54 	}
55 
56 	mips_hpt_frequency = clk_get_rate(clk) / 2;
57 	clk_put(clk);
58 }
59