diff options
author | Hidetoshi Seto <seto.hidetoshi@jp.fujitsu.com> | 2009-06-15 17:18:45 +0900 |
---|---|---|
committer | H. Peter Anvin <hpa@zytor.com> | 2009-06-16 16:56:04 -0700 |
commit | 33edbf02a92771fa2a81e41084a44ba874e3a5a5 (patch) | |
tree | 1b785cc0119685e59f5cbc763834f64a8ad28357 /arch/x86/kernel/syscall_table_32.S | |
parent | 184e1fdfea066ab8f12a1e8912f402d2d6556d11 (diff) |
x86, mce: don't init timer if !mce_available
In mce_cpu_restart, mce_init_timer is called unconditionally.
If !mce_available (e.g. mce is disabled), there are no useful work
for timer. Stop running it.
Signed-off-by: Hidetoshi Seto <seto.hidetoshi@jp.fujitsu.com>
Signed-off-by: H. Peter Anvin <hpa@zytor.com>
Diffstat (limited to 'arch/x86/kernel/syscall_table_32.S')
0 files changed, 0 insertions, 0 deletions