1 files changed, 2 insertions, 23 deletions

diff --git a/arch/arm/mach-vexpress/v2m.c b/arch/arm/mach-vexpress/v2m.c
index 9366f37902d9..b6083bb1eb8c 100644
--- a/arch/arm/mach-vexpress/v2m.c
+++ b/arch/arm/mach-vexpress/v2m.c
@@ -1,6 +1,7 @@
 /*
  * Versatile Express V2M Motherboard Support
  */
+#include <linux/clocksource.h>
 #include <linux/device.h>
 #include <linux/amba/bus.h>
 #include <linux/amba/mmci.h>
@@ -25,7 +26,6 @@
 #include <linux/clk-provider.h>
 #include <linux/clkdev.h>
 
-#include <asm/arch_timer.h>
 #include <asm/mach-types.h>
 #include <asm/sizes.h>
 #include <asm/mach/arch.h>
@@ -63,9 +63,6 @@ static void __init v2m_sp804_init(void __iomem *base, unsigned int irq)
         if (WARN_ON(!base || irq == NO_IRQ))
                 return;
 
-        writel(0, base + TIMER_1_BASE + TIMER_CTRL);
-        writel(0, base + TIMER_2_BASE + TIMER_CTRL);
-
         sp804_clocksource_init(base + TIMER_2_BASE, "v2m-timer1");
         sp804_clockevents_init(base + TIMER_1_BASE, irq, "v2m-timer0");
 }
@@ -430,29 +427,11 @@ void __init v2m_dt_init_early(void)
 
 static void __init v2m_dt_timer_init(void)
 {
-        struct device_node *node = NULL;
-
         of_clk_init(NULL);
 
         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);
-                WARN_ON(clk_register_clkdev(of_clk_get_by_name(node,
-                                "timclken1"), "v2m-timer0", "sp804"));
-                WARN_ON(clk_register_clkdev(of_clk_get_by_name(node,
-                                "timclken2"), "v2m-timer1", "sp804"));
-                v2m_sp804_init(of_iomap(node, 0),
-                                irq_of_parse_and_map(node, 0));
-        }
-
-        arch_timer_of_register();
 
-        if (arch_timer_sched_clock_init() != 0)
-                versatile_sched_clock_init(vexpress_get_24mhz_clock_base(),
+        versatile_sched_clock_init(vexpress_get_24mhz_clock_base(),
                                 24000000);
 }