diff options
-rw-r--r-- | debug-bad-pte-dmi.patch | 5 | ||||
-rw-r--r-- | debug-bad-pte-modules.patch | 5 |
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 |