commit | 33edbf02a92771fa2a81e41084a44ba874e3a5a5 | [log] [tgz] |
---|---|---|
author | Hidetoshi Seto <seto.hidetoshi@jp.fujitsu.com> | Mon Jun 15 17:18:45 2009 +0900 |
committer | H. Peter Anvin <hpa@zytor.com> | Tue Jun 16 16:56:04 2009 -0700 |
tree | 1b785cc0119685e59f5cbc763834f64a8ad28357 | |
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>