|
@@ -23,7 +23,6 @@
|
|
|
#include <linux/vmalloc.h>
|
|
|
#include <linux/user.h>
|
|
|
#include <linux/interrupt.h>
|
|
|
-#include <linux/utsname.h>
|
|
|
#include <linux/delay.h>
|
|
|
#include <linux/reboot.h>
|
|
|
#include <linux/init.h>
|
|
@@ -35,7 +34,6 @@
|
|
|
#include <linux/tick.h>
|
|
|
#include <linux/percpu.h>
|
|
|
#include <linux/prctl.h>
|
|
|
-#include <linux/dmi.h>
|
|
|
#include <linux/ftrace.h>
|
|
|
#include <linux/uaccess.h>
|
|
|
#include <linux/io.h>
|
|
@@ -128,7 +126,6 @@ void __show_regs(struct pt_regs *regs, int all)
|
|
|
unsigned long d0, d1, d2, d3, d6, d7;
|
|
|
unsigned long sp;
|
|
|
unsigned short ss, gs;
|
|
|
- const char *board;
|
|
|
|
|
|
if (user_mode_vm(regs)) {
|
|
|
sp = regs->sp;
|
|
@@ -140,16 +137,7 @@ void __show_regs(struct pt_regs *regs, int all)
|
|
|
savesegment(gs, gs);
|
|
|
}
|
|
|
|
|
|
- printk("\n");
|
|
|
-
|
|
|
- board = dmi_get_system_info(DMI_PRODUCT_NAME);
|
|
|
- if (!board)
|
|
|
- board = "";
|
|
|
- printk("Pid: %d, comm: %s %s (%s %.*s) %s\n",
|
|
|
- task_pid_nr(current), current->comm,
|
|
|
- print_tainted(), init_utsname()->release,
|
|
|
- (int)strcspn(init_utsname()->version, " "),
|
|
|
- init_utsname()->version, board);
|
|
|
+ show_regs_common();
|
|
|
|
|
|
printk("EIP: %04x:[<%08lx>] EFLAGS: %08lx CPU: %d\n",
|
|
|
(u16)regs->cs, regs->ip, regs->flags,
|