summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--debug-bad-pte-dmi.patch5
-rw-r--r--debug-bad-pte-modules.patch5
2 files changed, 10 insertions, 0 deletions
diff --git a/debug-bad-pte-dmi.patch b/debug-bad-pte-dmi.patch
index eddd595b0..f9485b880 100644
--- a/debug-bad-pte-dmi.patch
+++ b/debug-bad-pte-dmi.patch
@@ -1,3 +1,8 @@
+Occasionally we see reports of page table corruption, and it's not clear why.
+By printing out the hardware name, we could potentially see some patterns.
+
+Signed-off-by: Dave Jones <davej@redhat.com>
+
--- linux.orig/include/asm-generic/bug.h
+++ linux/include/asm-generic/bug.h
@@ -55,6 +55,8 @@ struct bug_entry {
diff --git a/debug-bad-pte-modules.patch b/debug-bad-pte-modules.patch
index 88ca28043..047231087 100644
--- a/debug-bad-pte-modules.patch
+++ b/debug-bad-pte-modules.patch
@@ -1,3 +1,8 @@
+When we encounter a bad PTE, print out what modules were loaded,
+so we can see if there is a common driver potentially at fault.
+
+Signed-off-by: Dave Jones <davej@redhat.com>
+
diff -durpN '--exclude-from=/home/davej/.exclude' /home/davej/src/kernel/git-trees/linux/mm/memory.c linux-dj/mm/memory.c
--- /home/davej/src/kernel/git-trees/linux/mm/memory.c 2013-02-26 14:41:18.591116577 -0500
+++ linux-dj/mm/memory.c 2013-02-28 20:04:37.678304092 -0500