diff options
author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2010-05-30 19:50:52 -0400 |
---|---|---|
committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2010-06-01 10:23:14 -0400 |
commit | 8bf9de45b663e4b9ce889eb24929ce773f306339 (patch) | |
tree | 129f32a9154debc2f587691f711c3ed75b527491 /arch/x86 | |
parent | cedc8df1cf1ff935af5455a9d565dac05192a47f (diff) |
Make smp_send_pull_timers() optional.
There is currently no need to implement this in ARM.
So let's make it optional instead.
Diffstat (limited to 'arch/x86')
-rw-r--r-- | arch/x86/Kconfig | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/arch/x86/Kconfig b/arch/x86/Kconfig index 955ad4089a7a..7b2c8db45d8a 100644 --- a/arch/x86/Kconfig +++ b/arch/x86/Kconfig | |||
@@ -2129,4 +2129,7 @@ source "lib/Kconfig" | |||
2129 | config ARCH_HAS_FEATHER_TRACE | 2129 | config ARCH_HAS_FEATHER_TRACE |
2130 | def_bool y | 2130 | def_bool y |
2131 | 2131 | ||
2132 | config ARCH_HAS_SEND_PULL_TIMERS | ||
2133 | def_bool y | ||
2134 | |||
2132 | source "litmus/Kconfig" | 2135 | source "litmus/Kconfig" |