diff options
| author | Fu Wei <fu.wei@linaro.org> | 2017-01-18 21:25:27 +0800 |
|---|---|---|
| committer | Mark Rutland <mark.rutland@arm.com> | 2017-04-10 14:29:53 +0100 |
| commit | ee34f1e63d3d2b8df8607847eafbc859ec6818dc (patch) | |
| tree | 690880a6f6a60f4bdaf87e8916a3a66f3c2df847 /include/clocksource | |
| 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>
Diffstat (limited to 'include/clocksource')
0 files changed, 0 insertions, 0 deletions