/*
   * 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.h>
  #include <linux/clk-provider.h>
  #include <linux/clocksource.h>
  #include <linux/of.h>
  
  #include <asm/time.h>
  
  void __init plat_time_init(void)
  {
  	struct device_node *np;
  	struct clk *clk;
  
  	of_clk_init(NULL);
  	clocksource_probe();
  
  	np = of_get_cpu_node(0, NULL);
  	if (!np) {
  		pr_err("Failed to get CPU node
  ");
  		return;
  	}
  
  	clk = of_clk_get(np, 0);
  	if (IS_ERR(clk)) {
  		pr_err("Failed to get CPU clock: %ld
  ", PTR_ERR(clk));
  		return;
  	}
  
  	mips_hpt_frequency = clk_get_rate(clk) / 2;
  	clk_put(clk);
  }