| /* | |
| * (C) Copyright 2002 | |
| * Sysgo Real-Time Solutions, GmbH <www.elinos.com> | |
| * Marius Groeger <mgroeger@sysgo.de> | |
| * | |
| * (C) Copyright 2002 | |
| * Sysgo Real-Time Solutions, GmbH <www.elinos.com> | |
| * Alex Zuepke <azu@sysgo.de> | |
| * | |
| * (C) Copyright 2002 | |
| * Gary Jennejohn, DENX Software Engineering, <gj@denx.de> | |
| * | |
| * SPDX-License-Identifier: GPL-2.0+ | |
| */ | |
| #include <common.h> | |
| #include <asm/arch/s3c24x0_cpu.h> | |
| #include <asm/proc-armv/ptrace.h> | |
| void do_irq (struct pt_regs *pt_regs) | |
| { | |
| struct s3c24x0_interrupt *irq = s3c24x0_get_base_interrupt(); | |
| u_int32_t intpnd = readl(&irq->INTPND); | |
| } |