2 * Xilfpga clocksource/timer setup
4 * Copyright (C) 2015 Imagination Technologies
5 * Author: Zubair Lutfullah Kakakhel <Zubair.Kakakhel@imgtec.com>
7 * This program is free software; you can redistribute it and/or modify it
8 * under the terms and conditions of the GNU General Public License,
9 * version 2, as published by the Free Software Foundation.
12 #include <linux/clk.h>
13 #include <linux/clk-provider.h>
14 #include <linux/clocksource.h>
19 void __init
plat_time_init(void)
21 struct device_node
*np
;
27 np
= of_get_cpu_node(0, NULL
);
29 pr_err("Failed to get CPU node\n");
33 clk
= of_clk_get(np
, 0);
35 pr_err("Failed to get CPU clock: %ld\n", PTR_ERR(clk
));
39 mips_hpt_frequency
= clk_get_rate(clk
) / 2;