diff options
author | Hugh Dickins <hugh@veritas.com> | 2009-01-06 23:40:12 +0100 |
---|---|---|
committer | Linus Torvalds <torvalds@linux-foundation.org> | 2009-01-07 00:59:07 +0100 |
commit | d936cf9b39b06c8d2e0d7fb5e7b4f176e18dec69 (patch) | |
tree | db691451bc77e90b980b62674519731c6ece72db /sound/pci | |
parent | badpage: remove vma from page_remove_rmap (diff) | |
download | linux-d936cf9b39b06c8d2e0d7fb5e7b4f176e18dec69.tar.xz linux-d936cf9b39b06c8d2e0d7fb5e7b4f176e18dec69.zip |
badpage: ratelimit print_bad_pte and bad_page
print_bad_pte() and bad_page() might each need ratelimiting - especially
for their dump_stacks, almost never of interest, yet not quite
dispensible. Correlating corruption across neighbouring entries can be
very helpful, so allow a burst of 60 reports before keeping quiet for the
remainder of that minute (or allow a steady drip of one report per
second).
Signed-off-by: Hugh Dickins <hugh@veritas.com>
Cc: Nick Piggin <nickpiggin@yahoo.com.au>
Cc: Christoph Lameter <cl@linux-foundation.org>
Cc: Mel Gorman <mel@csn.ul.ie>
Cc: Rik van Riel <riel@redhat.com>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Diffstat (limited to 'sound/pci')
0 files changed, 0 insertions, 0 deletions