*  FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  *  for more details.
  */
-#include <linux/clk.h>
 #include <linux/clk-provider.h>
 #include <linux/clocksource.h>
 #include <linux/init.h>
+#include <linux/irqdomain.h>
 #include <linux/of.h>
 #include <linux/of_irq.h>
-#include <linux/irqdomain.h>
 
 #include <asm/time.h>
 
 
 void __init plat_time_init(void)
 {
-       struct clk *clk;
+       unsigned long rate = pic32_get_pbclk(7);
 
        of_clk_init(NULL);
-       clk = clk_get_sys("cpu_clk", NULL);
-       if (IS_ERR(clk))
-               panic("unable to get CPU clock, err=%ld", PTR_ERR(clk));
 
-       clk_prepare_enable(clk);
-       pr_info("CPU Clock: %ldMHz\n", clk_get_rate(clk) / 1000000);
-       mips_hpt_frequency = clk_get_rate(clk) / 2;
+       pr_info("CPU Clock: %ldMHz\n", rate / 1000000);
+       mips_hpt_frequency = rate / 2;
 
        clocksource_probe();
 }