diff options
| author | Nathan Lynch <[email protected]> | 2014-09-29 01:50:06 +0200 |
|---|---|---|
| committer | Daniel Lezcano <[email protected]> | 2014-09-29 01:59:24 +0200 |
| commit | 423bd69e69f565167ba14e2fe61df76c3c4a0d26 (patch) | |
| tree | cb8441d231c0f466aa32d971a820568261109ed1 /scripts/gdb/linux | |
| parent | 28cf35675a66947b20731f6acbc9d5b131930ce3 (diff) | |
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 <[email protected]>
Reviewed-by: Stephen Boyd <[email protected]>
Signed-off-by: Daniel Lezcano <[email protected]>
Acked-by: Will Deacon <[email protected]>
Diffstat (limited to 'scripts/gdb/linux')
0 files changed, 0 insertions, 0 deletions