|
@@ -1172,9 +1172,10 @@ config HOTPLUG_CPU
|
|
|
config LOCAL_TIMERS
|
|
|
bool "Use local timer interrupts"
|
|
|
depends on SMP && (REALVIEW_EB_ARM11MP || MACH_REALVIEW_PB11MP || \
|
|
|
- REALVIEW_EB_A9MP || MACH_REALVIEW_PBX || ARCH_OMAP4 || ARCH_U8500)
|
|
|
+ REALVIEW_EB_A9MP || MACH_REALVIEW_PBX || ARCH_OMAP4 || \
|
|
|
+ ARCH_U8500 || ARCH_VEXPRESS_CA9X4)
|
|
|
default y
|
|
|
- select HAVE_ARM_TWD if (ARCH_REALVIEW || ARCH_OMAP4 || ARCH_U8500)
|
|
|
+ select HAVE_ARM_TWD if (ARCH_REALVIEW || ARCH_VEXPRESS || ARCH_OMAP4 || ARCH_U8500)
|
|
|
help
|
|
|
Enable support for local timers on SMP platforms, rather then the
|
|
|
legacy IPI broadcast method. Local timers allows the system
|