ARM: smp_twd: make local_timer_stop a symbol instead of a #define
authorMarc Zyngier <marc.zyngier@arm.com>
Tue, 10 Jan 2012 19:07:28 +0000 (19:07 +0000)
committerMarc Zyngier <marc.zyngier@arm.com>
Tue, 13 Mar 2012 13:27:49 +0000 (13:27 +0000)
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 <marc.zyngier@arm.com>

No differences found