diff options
| author | Dave Jones <davej@redhat.com> | 2013-04-11 12:17:38 -0400 |
|---|---|---|
| committer | Dave Jones <davej@redhat.com> | 2013-04-11 12:17:38 -0400 |
| commit | 77c62fd3edec580e5d5cf064c98a49d1282d7fd8 (patch) | |
| tree | 73836fe1f2c9a146504a0802d26d1c019bef3b58 /debug-bad-pte-modules.patch | |
| parent | c791ed47f0a267d3f511b2f19b18f679547eb0c0 (diff) | |
| download | kernel-77c62fd3edec580e5d5cf064c98a49d1282d7fd8.tar.gz kernel-77c62fd3edec580e5d5cf064c98a49d1282d7fd8.tar.xz kernel-77c62fd3edec580e5d5cf064c98a49d1282d7fd8.zip | |
Print out some extra debug information when we hit bad page tables.
Diffstat (limited to 'debug-bad-pte-modules.patch')
| -rw-r--r-- | debug-bad-pte-modules.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/debug-bad-pte-modules.patch b/debug-bad-pte-modules.patch new file mode 100644 index 000000000..88ca28043 --- /dev/null +++ b/debug-bad-pte-modules.patch @@ -0,0 +1,20 @@ +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 +@@ -57,6 +57,7 @@ + #include <linux/swapops.h> + #include <linux/elf.h> + #include <linux/gfp.h> ++#include <linux/module.h> + #include <linux/migrate.h> + #include <linux/string.h> + +@@ -719,6 +722,7 @@ static void print_bad_pte(struct vm_area + if (vma->vm_file && vma->vm_file->f_op) + print_symbol(KERN_ALERT "vma->vm_file->f_op->mmap: %s\n", + (unsigned long)vma->vm_file->f_op->mmap); ++ print_modules(); + dump_stack(); + add_taint(TAINT_BAD_PAGE, LOCKDEP_NOW_UNRELIABLE); + } + |