|
@@ -35,7 +35,6 @@
|
|
|
#include <linux/delay.h>
|
|
|
#include <linux/reboot.h>
|
|
|
#include <linux/interrupt.h>
|
|
|
-#include <linux/kallsyms.h>
|
|
|
#include <linux/init.h>
|
|
|
#include <linux/cpu.h>
|
|
|
#include <linux/elfcore.h>
|
|
@@ -221,8 +220,8 @@ void __show_regs(struct pt_regs *regs)
|
|
|
|
|
|
show_regs_print_info(KERN_DEFAULT);
|
|
|
print_pstate(regs);
|
|
|
- print_symbol("pc : %s\n", regs->pc);
|
|
|
- print_symbol("lr : %s\n", lr);
|
|
|
+ printk("pc : %pS\n", (void *)regs->pc);
|
|
|
+ printk("lr : %pS\n", (void *)lr);
|
|
|
printk("sp : %016llx\n", sp);
|
|
|
|
|
|
i = top_reg;
|