|
@@ -431,20 +431,9 @@ void __init v2m_dt_init_early(void)
|
|
|
|
|
|
static void __init v2m_dt_timer_init(void)
|
|
|
{
|
|
|
- struct device_node *node = NULL;
|
|
|
-
|
|
|
vexpress_clk_of_init();
|
|
|
|
|
|
clocksource_of_init();
|
|
|
- do {
|
|
|
- node = of_find_compatible_node(node, NULL, "arm,sp804");
|
|
|
- } while (node && vexpress_get_site_by_node(node) != VEXPRESS_SITE_MB);
|
|
|
- if (node) {
|
|
|
- pr_info("Using SP804 '%s' as a clock & events source\n",
|
|
|
- node->full_name);
|
|
|
- v2m_sp804_init(of_iomap(node, 0),
|
|
|
- irq_of_parse_and_map(node, 0));
|
|
|
- }
|
|
|
|
|
|
versatile_sched_clock_init(vexpress_get_24mhz_clock_base(),
|
|
|
24000000);
|