1 /*
2  * (C) Copyright 2008
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
6  *
7  * SPDX-License-Identifier:	GPL-2.0+
8  */
9 #ifndef INTERRUPT_H
10 #define INTERRUPT_H
11 
12 #if defined(CONFIG_XILINX_440)
13 #include <asm/xilinx_irq.h>
14 #else
15 #include <asm/ppc4xx-uic.h>
16 #endif
17 
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);
24 
25 #endif
26