diff options
author | Hidetoshi Seto <[email protected]> | 2009-06-15 17:18:45 +0900 |
---|---|---|
committer | H. Peter Anvin <[email protected]> | 2009-06-16 16:56:04 -0700 |
commit | 33edbf02a92771fa2a81e41084a44ba874e3a5a5 (patch) | |
tree | 1b785cc0119685e59f5cbc763834f64a8ad28357 /drivers/mtd/lpddr/lpddr_cmds.c | |
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 <[email protected]>
Signed-off-by: H. Peter Anvin <[email protected]>
Diffstat (limited to 'drivers/mtd/lpddr/lpddr_cmds.c')
0 files changed, 0 insertions, 0 deletions