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-dmi.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-dmi.patch')
-rw-r--r-- | debug-bad-pte-dmi.patch | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/debug-bad-pte-dmi.patch b/debug-bad-pte-dmi.patch new file mode 100644 index 000000000..0552cb34f --- /dev/null +++ b/debug-bad-pte-dmi.patch @@ -0,0 +1,64 @@ +diff -durpN '--exclude-from=/home/davej/.exclude' /home/davej/src/kernel/git-trees/linux/include/asm-generic/bug.h linux-dj/include/asm-generic/bug.h +--- /home/davej/src/kernel/git-trees/linux/include/asm-generic/bug.h 2013-01-04 18:57:12.604282214 -0500 ++++ linux-dj/include/asm-generic/bug.h 2013-02-28 20:04:37.649304147 -0500 +@@ -55,6 +55,8 @@ struct bug_entry { + #define BUG_ON(condition) do { if (unlikely(condition)) BUG(); } while(0) + #endif + ++void print_hardware_dmi_name(void); ++ + /* + * WARN(), WARN_ON(), WARN_ON_ONCE, and so on can be used to report + * significant issues that need prompt attention if they should ever +diff -durpN '--exclude-from=/home/davej/.exclude' /home/davej/src/kernel/git-trees/linux/kernel/panic.c linux-dj/kernel/panic.c +--- /home/davej/src/kernel/git-trees/linux/kernel/panic.c 2013-02-26 14:41:18.544116674 -0500 ++++ linux-dj/kernel/panic.c 2013-02-28 20:04:37.666304115 -0500 +@@ -397,16 +397,22 @@ struct slowpath_args { + va_list args; + }; + +-static void warn_slowpath_common(const char *file, int line, void *caller, +- unsigned taint, struct slowpath_args *args) ++void print_hardware_dmi_name(void) + { + const char *board; + +- printk(KERN_WARNING "------------[ cut here ]------------\n"); +- printk(KERN_WARNING "WARNING: at %s:%d %pS()\n", file, line, caller); + board = dmi_get_system_info(DMI_PRODUCT_NAME); + if (board) + printk(KERN_WARNING "Hardware name: %s\n", board); ++} ++ ++static void warn_slowpath_common(const char *file, int line, void *caller, ++ unsigned taint, struct slowpath_args *args) ++{ ++ printk(KERN_WARNING "------------[ cut here ]------------\n"); ++ printk(KERN_WARNING "WARNING: at %s:%d %pS()\n", file, line, caller); ++ ++ print_hardware_dmi_name(); + + if (args) + vprintk(args->fmt, args->args); +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 +@@ -705,6 +706,8 @@ static void print_bad_pte(struct vm_area + "BUG: Bad page map in process %s pte:%08llx pmd:%08llx\n", + current->comm, + (long long)pte_val(pte), (long long)pmd_val(*pmd)); ++ print_hardware_dmi_name(); ++ + if (page) + dump_page(page); + printk(KERN_ALERT +--- linux-dj/mm/page_alloc.c~ 2013-04-11 11:47:12.536675503 -0400 ++++ linux-dj/mm/page_alloc.c 2013-04-11 11:47:16.416667806 -0400 +@@ -321,6 +321,7 @@ static void bad_page(struct page *page) + current->comm, page_to_pfn(page)); + dump_page(page); + ++ print_hardware_dmi_name(); + print_modules(); + dump_stack(); + out: |