3 * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
4 * Marius Groeger <mgroeger@sysgo.de>
7 * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
8 * Alex Zuepke <azu@sysgo.de>
11 * Gary Jennejohn, DENX Software Engineering, <gj@denx.de>
13 * SPDX-License-Identifier: GPL-2.0+
18 #include <asm/arch/s3c24x0_cpu.h>
19 #include <asm/proc-armv/ptrace.h>
21 void do_irq (struct pt_regs *pt_regs)
23 struct s3c24x0_interrupt *irq = s3c24x0_get_base_interrupt();
24 u_int32_t intpnd = readl(&irq->INTPND);