| /* | |
| * Copyright (C) 2001 - 2003 Jeff Dike (jdike@addtoit.com) | |
| * Licensed under the GPL | |
| */ | |
| #include <linux/kernel.h> | |
| #include <linux/smp.h> | |
| #include <linux/sched.h> | |
| #include <linux/kallsyms.h> | |
| #include <asm/ptrace.h> | |
| #include <asm/sysrq.h> | |
| /* This is declared by <linux/sched.h> */ | |
| void show_regs(struct pt_regs *regs) | |
| { | |
| printk("\n"); | |
| printk("EIP: %04lx:[<%08lx>] CPU: %d %s", | |
| 0xffff & PT_REGS_CS(regs), PT_REGS_IP(regs), | |
| smp_processor_id(), print_tainted()); | |
| if (PT_REGS_CS(regs) & 3) | |
| printk(" ESP: %04lx:%08lx", 0xffff & PT_REGS_SS(regs), | |
| PT_REGS_SP(regs)); | |
| printk(" EFLAGS: %08lx\n %s\n", PT_REGS_EFLAGS(regs), | |
| print_tainted()); | |
| printk("EAX: %08lx EBX: %08lx ECX: %08lx EDX: %08lx\n", | |
| PT_REGS_AX(regs), PT_REGS_BX(regs), | |
| PT_REGS_CX(regs), PT_REGS_DX(regs)); | |
| printk("ESI: %08lx EDI: %08lx EBP: %08lx", | |
| PT_REGS_SI(regs), PT_REGS_DI(regs), PT_REGS_BP(regs)); | |
| printk(" DS: %04lx ES: %04lx\n", | |
| 0xffff & PT_REGS_DS(regs), | |
| 0xffff & PT_REGS_ES(regs)); | |
| } |