From 5f8943cb34f3794c098aa3bfbe6e276c265f8f20 Mon Sep 17 00:00:00 2001
From: Mark Rutland <mark.rutland@arm.com>
Date: Mon, 12 Nov 2012 14:40:44 +0000
Subject: [PATCH] --- yaml --- r: 355817 b: refs/heads/master c:
 ef201de430b0deb62a9afd2c4e67f04525cec43c h: refs/heads/master i:   355815:
 2f678835558df060b7ac238096aefaa7de8a7df5 v: v3

---
 [refs]                             |  2 +-
 trunk/arch/arm/kernel/arch_timer.c | 12 ------------
 2 files changed, 1 insertion(+), 13 deletions(-)

diff --git a/[refs] b/[refs]
index 40954c7acefc..ba88d79fc141 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 2b55d10c46815d9660c0f1bc6044f7019ff384aa
+refs/heads/master: ef201de430b0deb62a9afd2c4e67f04525cec43c
diff --git a/trunk/arch/arm/kernel/arch_timer.c b/trunk/arch/arm/kernel/arch_timer.c
index 6dd73c67d864..1bb3b582043c 100644
--- a/trunk/arch/arm/kernel/arch_timer.c
+++ b/trunk/arch/arm/kernel/arch_timer.c
@@ -20,11 +20,9 @@
 #include <linux/of_irq.h>
 #include <linux/io.h>
 
-#include <asm/cputype.h>
 #include <asm/delay.h>
 #include <asm/localtimer.h>
 #include <asm/arch_timer.h>
-#include <asm/system_info.h>
 #include <asm/sched_clock.h>
 
 static unsigned long arch_timer_rate;
@@ -259,20 +257,10 @@ static int __cpuinit arch_timer_setup(struct clock_event_device *clk)
 	return 0;
 }
 
-/* Is the optional system timer available? */
-static int local_timer_is_architected(void)
-{
-	return (cpu_architecture() >= CPU_ARCH_ARMv7) &&
-	       ((read_cpuid_ext(CPUID_EXT_PFR1) >> 16) & 0xf) == 1;
-}
-
 static int arch_timer_available(void)
 {
 	unsigned long freq;
 
-	if (!local_timer_is_architected())
-		return -ENXIO;
-
 	if (arch_timer_rate == 0) {
 		freq = arch_timer_reg_read(ARCH_TIMER_PHYS_ACCESS,
 					   ARCH_TIMER_REG_FREQ);