3
* Ricado Ribalda-Universidad Autonoma de Madrid-ricardo.ribalda@uam.es
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);