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, <garyj@denx.de>
13 * SPDX-License-Identifier: GPL-2.0+
17 #include <asm/proc-armv/ptrace.h>
19 #if defined (CONFIG_ARCH_INTEGRATOR)
20 void do_irq (struct pt_regs *pt_regs)
22 /* ASSUMED to be a timer interrupt */
23 /* Just clear it - count handled in */
25 *(volatile ulong *)(CONFIG_SYS_TIMERBASE + 0x0C) = 0;