| /* | 
 |  * (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> | 
 |  * | 
 |  * See file CREDITS for list of people who contributed to this | 
 |  * project. | 
 |  * | 
 |  * This program is free software; you can redistribute it and/or | 
 |  * modify it under the terms of the GNU General Public License as | 
 |  * published by the Free Software Foundation; either version 2 of | 
 |  * the License, or (at your option) any later version. | 
 |  * | 
 |  * This program is distributed in the hope that it will be useful, | 
 |  * but WITHOUT ANY WARRANTY; without even the implied warranty of | 
 |  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the | 
 |  * GNU General Public License for more details. | 
 |  * | 
 |  * You should have received a copy of the GNU General Public License | 
 |  * along with this program; if not, write to the Free Software | 
 |  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, | 
 |  * MA 02111-1307 USA | 
 |  */ | 
 |  | 
 | #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); | 
 |  | 
 | } |