1 /*
2  * Copyright (C) 2002 ARM Limited, All Rights Reserved.
3  *
4  * This program is free software; you can redistribute it and/or modify
5  * it under the terms of the GNU General Public License version 2 as
6  * published by the Free Software Foundation.
7  *
8  * This program is distributed in the hope that it will be useful,
9  * but WITHOUT ANY WARRANTY; without even the implied warranty of
10  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11  * GNU General Public License for more details.
12  *
13  * You should have received a copy of the GNU General Public License
14  * along with this program.  If not, see <http://www.gnu.org/licenses/>.
15  */
16 
17 #ifndef _IRQ_GIC_COMMON_H
18 #define _IRQ_GIC_COMMON_H
19 
20 #include <linux/of.h>
21 #include <linux/irqdomain.h>
22 
23 void gic_configure_irq(unsigned int irq, unsigned int type,
24                        void __iomem *base, void (*sync_access)(void));
25 void gic_dist_config(void __iomem *base, int gic_irqs,
26 		     void (*sync_access)(void));
27 void gic_cpu_config(void __iomem *base, void (*sync_access)(void));
28 
29 #endif /* _IRQ_GIC_COMMON_H */
30