3 * Ricado Ribalda-Universidad Autonoma de Madrid-ricardo.ribalda@gmail.com
4 * This work has been supported by: QTechnology http://qtec.com/
5 * Based on interrupts.c Wolfgang Denk-DENX Software Engineering-wd@denx.de
7 * SPDX-License-Identifier: GPL-2.0+
12 void external_interrupt(struct pt_regs *regs);