diff options
| author | Hidetoshi Seto <seto.hidetoshi@jp.fujitsu.com> | 2009-12-03 11:33:08 +0900 |
|---|---|---|
| committer | H. Peter Anvin <hpa@zytor.com> | 2009-12-02 21:27:32 -0800 |
| commit | fe5ed91ddce85a0ed0e4f92c10b099873ef62167 (patch) | |
| tree | 3ca148c39006ea48496a4a077a09bbe7a4dd6939 /arch/x86/Makefile_32.cpu | |
| parent | b8b7d791a8ff01d2380089279a69afa99115fb23 (diff) | |
x86, mce: don't restart timer if disabled
Even it is in error path unlikely taken, add_timer_on() at
CPU_DOWN_FAILED* needs to be skipped if mce_timer is disabled.
Signed-off-by: Hidetoshi Seto <seto.hidetoshi@jp.fujitsu.com>
Cc: Andi Kleen <andi@firstfloor.org>
Cc: Huang Ying <ying.huang@intel.com>
Cc: Jan Beulich <jbeulich@novell.com>
Cc: <stable@kernel.org>
Signed-off-by: H. Peter Anvin <hpa@zytor.com>
Diffstat (limited to 'arch/x86/Makefile_32.cpu')
0 files changed, 0 insertions, 0 deletions