clocksource: arm_arch_timer: rename the PPI enum
authorFu Wei <fu.wei@linaro.org>
Wed, 18 Jan 2017 13:25:27 +0000 (21:25 +0800)
committerMark Rutland <mark.rutland@arm.com>
Mon, 10 Apr 2017 13:29:53 +0000 (14:29 +0100)
commitee34f1e63d3d2b8df8607847eafbc859ec6818dc
tree690880a6f6a60f4bdaf87e8916a3a66f3c2df847
parent8a5c21dc05ea44d0e7255c88f8f56af0971bbc68
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>
drivers/clocksource/arm_arch_timer.c