commit | ee34f1e63d3d2b8df8607847eafbc859ec6818dc | [log] [tgz] |
---|---|---|
author | Fu Wei <fu.wei@linaro.org> | Wed Jan 18 21:25:27 2017 +0800 |
committer | Mark Rutland <mark.rutland@arm.com> | Mon Apr 10 14:29:53 2017 +0100 |
tree | 690880a6f6a60f4bdaf87e8916a3a66f3c2df847 | |
parent | 8a5c21dc05ea44d0e7255c88f8f56af0971bbc68 [diff] |
clocksource: arm_arch_timer: rename the PPI enum In preparation for moving the PPI enum out into a header, rename the enum and its constituent values these so they are namespaced w.r.t. the arch timer. This will aid consistency and avoid potential name clashes when this move occurs. No functional change. Signed-off-by: Fu Wei <fu.wei@linaro.org> Tested-by: Xiongfeng Wang <wangxiongfeng2@huawei.com> [Mark: reword commit message] Signed-off-by: Mark Rutland <mark.rutland@arm.com>