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 int 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