d746638384010539bf55beb29f parent a2821146e6f69566a384b368b90c22e84aaf7ef3 author Marc Zyngier 1326222448 +0000 committer Marc Zyngier 1331645269 +0000 ARM: smp_twd: make local_timer_stop a symbol instead of a #define When CONFIG_HAVE_ARM_TWD is selected, local_timer_stop is a #define, while all other local timers are using a real function. Convert it to an alias of twd_timer_stop, as it helps converting all local timers to another internal API in a sane way. Signed-off-by: Marc Zyngier