+++ /dev/null
--/*
-- * (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, <garyj@denx.de>
-- *
-- * SPDX-License-Identifier: GPL-2.0+
-- */
--
--#include <common.h>
--#include <asm/proc-armv/ptrace.h>
--
--#if defined (CONFIG_ARCH_INTEGRATOR)
--void do_irq (struct pt_regs *pt_regs)
--{
-- /* ASSUMED to be a timer interrupt */
-- /* Just clear it - count handled in */
-- /* integratorap.c */
-- *(volatile ulong *)(CONFIG_SYS_TIMERBASE + 0x0C) = 0;
--}
--#endif
+++ /dev/null
--/*
-- * (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);
--
--}