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