arm: arch_timer: remove redundant available check
authorMark Rutland <mark.rutland@arm.com>
Mon, 12 Nov 2012 14:40:44 +0000 (14:40 +0000)
committerMark Rutland <mark.rutland@arm.com>
Thu, 31 Jan 2013 15:51:05 +0000 (15:51 +0000)
This check is a holdover from the pre-devicetree days. As the timer
is not probed except by platforms which register it via devicetree,
it's not strictly necessary.

Signed-off-by: Mark Rutland <mark.rutland@arm.com>
Acked-by: Catalin Marinas <catalin.marinas@arm.com>
Acked-by: Marc Zyngier <marc.zyngier@arm.com>
arch/arm/kernel/arch_timer.c

index 6dd73c67d86452e8b7457fb20fb0a56ce0b08926..1bb3b582043cf2f9e38429aedf3223d6650f0fb6 100644 (file)
 #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);