diff options
author | Hidetoshi Seto <[email protected]> | 2009-12-03 11:33:08 +0900 |
---|---|---|
committer | H. Peter Anvin <[email protected]> | 2009-12-02 21:27:32 -0800 |
commit | fe5ed91ddce85a0ed0e4f92c10b099873ef62167 (patch) | |
tree | 3ca148c39006ea48496a4a077a09bbe7a4dd6939 /tools/perf/scripts/python/check-perf-trace.py | |
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 <[email protected]>
Cc: Andi Kleen <[email protected]>
Cc: Huang Ying <[email protected]>
Cc: Jan Beulich <[email protected]>
Cc: <[email protected]>
Signed-off-by: H. Peter Anvin <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/check-perf-trace.py')
0 files changed, 0 insertions, 0 deletions