2 * Copyright (c) 2011 Picochip Ltd., Jamie Iles
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License version 2 as
6 * published by the Free Software Foundation.
8 * All enquiries to support@picochip.com
10 #include <linux/dw_apb_timer.h>
12 #include <linux/of_address.h>
13 #include <linux/of_irq.h>
15 #include <asm/mach/time.h>
16 #include <asm/sched_clock.h>
20 static void timer_get_base_and_rate(struct device_node
*np
,
21 void __iomem
**base
, u32
*rate
)
23 *base
= of_iomap(np
, 0);
26 panic("Unable to map regs for %s", np
->name
);
28 if (of_property_read_u32(np
, "clock-freq", rate
))
29 panic("No clock-freq property for %s", np
->name
);
32 static void picoxcell_add_clockevent(struct device_node
*event_timer
)
35 struct dw_apb_clock_event_device
*ced
;
38 irq
= irq_of_parse_and_map(event_timer
, 0);
40 panic("No IRQ for clock event timer");
42 timer_get_base_and_rate(event_timer
, &iobase
, &rate
);
44 ced
= dw_apb_clockevent_init(0, event_timer
->name
, 300, iobase
, irq
,
47 panic("Unable to initialise clockevent device");
49 dw_apb_clockevent_register(ced
);
52 static void picoxcell_add_clocksource(struct device_node
*source_timer
)
55 struct dw_apb_clocksource
*cs
;
58 timer_get_base_and_rate(source_timer
, &iobase
, &rate
);
60 cs
= dw_apb_clocksource_init(300, source_timer
->name
, iobase
, rate
);
62 panic("Unable to initialise clocksource device");
64 dw_apb_clocksource_start(cs
);
65 dw_apb_clocksource_register(cs
);
68 static void __iomem
*sched_io_base
;
70 static u32
picoxcell_read_sched_clock(void)
72 return __raw_readl(sched_io_base
);
75 static const struct of_device_id picoxcell_rtc_ids
[] __initconst
= {
76 { .compatible
= "picochip,pc3x2-rtc" },
80 static void picoxcell_init_sched_clock(void)
82 struct device_node
*sched_timer
;
85 sched_timer
= of_find_matching_node(NULL
, picoxcell_rtc_ids
);
87 panic("No RTC for sched clock to use");
89 timer_get_base_and_rate(sched_timer
, &sched_io_base
, &rate
);
90 of_node_put(sched_timer
);
92 setup_sched_clock(picoxcell_read_sched_clock
, 32, rate
);
95 static const struct of_device_id picoxcell_timer_ids
[] __initconst
= {
96 { .compatible
= "picochip,pc3x2-timer" },
100 static void __init
picoxcell_timer_init(void)
102 struct device_node
*event_timer
, *source_timer
;
104 event_timer
= of_find_matching_node(NULL
, picoxcell_timer_ids
);
106 panic("No timer for clockevent");
107 picoxcell_add_clockevent(event_timer
);
109 source_timer
= of_find_matching_node(event_timer
, picoxcell_timer_ids
);
111 panic("No timer for clocksource");
112 picoxcell_add_clocksource(source_timer
);
114 of_node_put(source_timer
);
116 picoxcell_init_sched_clock();
119 struct sys_timer picoxcell_timer
= {
120 .init
= picoxcell_timer_init
,