2 * Joshua Henderson <joshua.henderson@microchip.com>
3 * Copyright (C) 2015 Microchip Technology Inc. All rights reserved.
5 * This program is free software; you can distribute it and/or modify it
6 * under the terms of the GNU General Public License (Version 2) as
7 * published by the Free Software Foundation.
9 * This program is distributed in the hope it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 #include <linux/clk-provider.h>
15 #include <linux/clocksource.h>
16 #include <linux/init.h>
17 #include <linux/irqdomain.h>
19 #include <linux/of_irq.h>
23 #include "pic32mzda.h"
25 static const struct of_device_id pic32_infra_match
[] = {
26 { .compatible
= "microchip,pic32mzda-infra", },
30 #define DEFAULT_CORE_TIMER_INTERRUPT 0
32 static unsigned int pic32_xlate_core_timer_irq(void)
34 static struct device_node
*node
;
37 node
= of_find_matching_node(NULL
, pic32_infra_match
);
42 irq
= irq_of_parse_and_map(node
, 0);
50 return irq_create_mapping(NULL
, DEFAULT_CORE_TIMER_INTERRUPT
);
53 unsigned int get_c0_compare_int(void)
55 return pic32_xlate_core_timer_irq();
58 void __init
plat_time_init(void)
60 unsigned long rate
= pic32_get_pbclk(7);
64 pr_info("CPU Clock: %ldMHz\n", rate
/ 1000000);
65 mips_hpt_frequency
= rate
/ 2;