1/*
2 * Copyright (C) 2001 - 2003 Jeff Dike (jdike@addtoit.com)
3 * Licensed under the GPL
4 */
5
6#include <linux/kernel.h>
7#include <linux/smp.h>
8#include <linux/sched.h>
9#include <linux/sched/debug.h>
10#include <linux/kallsyms.h>
11#include <asm/ptrace.h>
12#include <asm/sysrq.h>
13
14/* This is declared by <linux/sched.h> */
15void show_regs(struct pt_regs *regs)
16{
17 printk("\n");
18 printk("EIP: %04lx:[<%08lx>] CPU: %d %s",
19 0xffff & PT_REGS_CS(regs), PT_REGS_IP(regs),
20 smp_processor_id(), print_tainted());
21 if (PT_REGS_CS(regs) & 3)
22 printk(" ESP: %04lx:%08lx", 0xffff & PT_REGS_SS(regs),
23 PT_REGS_SP(regs));
24 printk(" EFLAGS: %08lx\n %s\n", PT_REGS_EFLAGS(regs),
25 print_tainted());
26 printk("EAX: %08lx EBX: %08lx ECX: %08lx EDX: %08lx\n",
27 PT_REGS_AX(regs), PT_REGS_BX(regs),
28 PT_REGS_CX(regs), PT_REGS_DX(regs));
29 printk("ESI: %08lx EDI: %08lx EBP: %08lx",
30 PT_REGS_SI(regs), PT_REGS_DI(regs), PT_REGS_BP(regs));
31 printk(" DS: %04lx ES: %04lx\n",
32 0xffff & PT_REGS_DS(regs),
33 0xffff & PT_REGS_ES(regs));
34}
35

source code of linux/arch/x86/um/sysrq_32.c