diff options
author | Scott Williams <scwilliams@nvidia.com> | 2011-06-09 13:22:47 -0700 |
---|---|---|
committer | Niket Sirsi <nsirsi@nvidia.com> | 2011-06-14 16:12:10 -0700 |
commit | 164e096a75dd533f50d3bdf5e3ab974f027ceaee (patch) | |
tree | e348de60636f06d0c437f9ebf00285f6f9c90c5f | |
parent | c5464ec19473ac93e8b8997ac180fa9665471d0e (diff) |
arm: twd: Fix undefined symbol if HOTPLUG_CPU is not configured
Change-Id: I32e2e58d61305366853d73dc30be3934d3e45355
Reviewed-on: http://git-master/r/35941
Reviewed-by: Scott Williams <scwilliams@nvidia.com>
Tested-by: Scott Williams <scwilliams@nvidia.com>
Reviewed-by: Aleksandr Frid <afrid@nvidia.com>
Reviewed-by: Daniel Willemsen <dwillemsen@nvidia.com>
Reviewed-by: Diwakar Tundlam <dtundlam@nvidia.com>
Tested-by: Diwakar Tundlam <dtundlam@nvidia.com>
-rw-r--r-- | arch/arm/kernel/smp_twd.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/arch/arm/kernel/smp_twd.c b/arch/arm/kernel/smp_twd.c index 3dc62ee45639..0885e368f25d 100644 --- a/arch/arm/kernel/smp_twd.c +++ b/arch/arm/kernel/smp_twd.c @@ -243,7 +243,6 @@ void __cpuinit twd_timer_setup(struct clock_event_device *clk) __twd_timer_setup(clk, 0, 0); } -#ifdef CONFIG_HOTPLUG_CPU /* * take a local timer down */ @@ -251,4 +250,3 @@ void twd_timer_stop(void) { __raw_writel(0, twd_base + TWD_TIMER_CONTROL); } -#endif |