clocksource: arm_arch_timer: Change clocksource name if CP15 unavailable
authorNathan Lynch <nathan_lynch@mentor.com>
Sun, 28 Sep 2014 23:50:06 +0000 (01:50 +0200)
committerDaniel Lezcano <daniel.lezcano@linaro.org>
Sun, 28 Sep 2014 23:59:24 +0000 (01:59 +0200)
commit423bd69e69f565167ba14e2fe61df76c3c4a0d26
treecb8441d231c0f466aa32d971a820568261109ed1
parent28cf35675a66947b20731f6acbc9d5b131930ce3
clocksource: arm_arch_timer: Change clocksource name if CP15 unavailable

The arm and arm64 VDSOs need CP15 access to the architected counter.
If this is unavailable (which is allowed by ARM v7), indicate this by
changing the clocksource name to "arch_mem_counter" before registering
the clocksource.

Suggested by Stephen Boyd.

Signed-off-by: Nathan Lynch <nathan_lynch@mentor.com>
Reviewed-by: Stephen Boyd <sboyd@codeaurora.org>
Signed-off-by: Daniel Lezcano <daniel.lezcano@linaro.org>
Acked-by: Will Deacon <will.deacon@arm.com>
drivers/clocksource/arm_arch_timer.c