drivers/irqchip/irq-gic-common.h

   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 */