diff options
author | Borislav Petkov <[email protected]> | 2015-08-12 18:29:38 +0200 |
---|---|---|
committer | Ingo Molnar <[email protected]> | 2015-08-13 10:12:52 +0200 |
commit | eef4dfa0cb83899c782935ac5345532f47073cea (patch) | |
tree | 4388c50d3a5ac5495fe0642960b209e631ba20c0 /scripts/gdb/linux/modules.py | |
parent | f29a7aff4bd60ebc3da4982f80144a4158c4c74a (diff) |
x86/mce: Kill drain_mcelog_buffer()
This used to flush out MCEs logged during early boot and which
were in the MCA registers from a previous system run. No need
for that now, since we've moved to a genpool.
Suggested-by: Tony Luck <[email protected]>
Signed-off-by: Borislav Petkov <[email protected]>
Cc: Linus Torvalds <[email protected]>
Cc: Peter Zijlstra <[email protected]>
Cc: Thomas Gleixner <[email protected]>
Link: http://lkml.kernel.org/r/[email protected]
Signed-off-by: Ingo Molnar <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/modules.py')
0 files changed, 0 insertions, 0 deletions