2 * Pistachio clocksource/timer setup
4 * Copyright (C) 2014 Google, Inc.
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.
11 #include <linux/clk.h>
12 #include <linux/clk-provider.h>
13 #include <linux/clocksource.h>
14 #include <linux/init.h>
15 #include <linux/irqchip/mips-gic.h>
20 unsigned int get_c0_compare_int(void)
22 return gic_get_c0_compare_int();
25 int get_c0_perfcount_int(void)
27 return gic_get_c0_perfcount_int();
30 void __init plat_time_init(void)
32 struct device_node *np;
36 clocksource_of_init();
38 np = of_get_cpu_node(0, NULL);
40 pr_err("Failed to get CPU node\n");
44 clk = of_clk_get(np, 0);
46 pr_err("Failed to get CPU clock: %ld\n", PTR_ERR(clk));
50 mips_hpt_frequency = clk_get_rate(clk) / 2;