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 #if defined(CONFIG_XILINX_440)
13 #include <asm/xilinx_irq.h>
15 #include <asm/ppc4xx-uic.h>
18 void pic_enable(void);
19 void pic_irq_enable(unsigned int irq);
20 void pic_irq_disable(unsigned int irq);
21 void pic_irq_ack(unsigned int irq);
22 void external_interrupt(struct pt_regs *regs);
23 void interrupt_run_handler(int vec);