|
@@ -70,6 +70,7 @@
|
|
|
#include <asm/hmi.h>
|
|
|
#include <sysdev/fsl_pci.h>
|
|
|
#include <asm/kprobes.h>
|
|
|
+#include <asm/stacktrace.h>
|
|
|
|
|
|
#if defined(CONFIG_DEBUGGER) || defined(CONFIG_KEXEC_CORE)
|
|
|
int (*__debugger)(struct pt_regs *regs) __read_mostly;
|
|
@@ -337,6 +338,8 @@ static void show_signal_msg(int signr, struct pt_regs *regs, int code,
|
|
|
print_vma_addr(KERN_CONT " in ", regs->nip);
|
|
|
|
|
|
pr_cont("\n");
|
|
|
+
|
|
|
+ show_user_instructions(regs);
|
|
|
}
|
|
|
|
|
|
void _exception_pkey(int signr, struct pt_regs *regs, int code,
|