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