| /* |
| * arch/arm/include/asm/hardware/gic.h |
| * |
| * Copyright (C) 2002 ARM Limited, All Rights Reserved. |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License version 2 as |
| * published by the Free Software Foundation. |
| */ |
| #ifndef __ASM_ARM_HARDWARE_GIC_H |
| #define __ASM_ARM_HARDWARE_GIC_H |
| |
| #include <linux/compiler.h> |
| |
| #define GIC_CPU_CTRL 0x00 |
| #define GIC_CPU_PRIMASK 0x04 |
| #define GIC_CPU_BINPOINT 0x08 |
| #define GIC_CPU_INTACK 0x0c |
| #define GIC_CPU_EOI 0x10 |
| #define GIC_CPU_RUNNINGPRI 0x14 |
| #define GIC_CPU_HIGHPRI 0x18 |
| |
| #define GIC_DIST_CTRL 0x000 |
| #define GIC_DIST_CTR 0x004 |
| #define GIC_DIST_ENABLE_SET 0x100 |
| #define GIC_DIST_ENABLE_CLEAR 0x180 |
| #define GIC_DIST_PENDING_SET 0x200 |
| #define GIC_DIST_PENDING_CLEAR 0x280 |
| #define GIC_DIST_ACTIVE_BIT 0x300 |
| #define GIC_DIST_PRI 0x400 |
| #define GIC_DIST_TARGET 0x800 |
| #define GIC_DIST_CONFIG 0xc00 |
| #define GIC_DIST_SOFTINT 0xf00 |
| |
| #ifndef __ASSEMBLY__ |
| #include <linux/irqdomain.h> |
| struct device_node; |
| |
| extern void __iomem *gic_cpu_base_addr; |
| extern struct irq_chip gic_arch_extn; |
| |
| void gic_init(unsigned int, int, void __iomem *, void __iomem *); |
| int gic_of_init(struct device_node *node, struct device_node *parent); |
| void gic_secondary_init(unsigned int); |
| void gic_cascade_irq(unsigned int gic_nr, unsigned int irq); |
| void gic_raise_softirq(const struct cpumask *mask, unsigned int irq); |
| void gic_enable_ppi(unsigned int); |
| bool gic_is_spi_pending(unsigned int irq); |
| void gic_clear_spi_pending(unsigned int irq); |
| |
| struct gic_chip_data { |
| unsigned int irq_offset; |
| void __iomem *dist_base; |
| void __iomem *cpu_base; |
| unsigned int max_irq; |
| #ifdef CONFIG_PM |
| unsigned int wakeup_irqs[32]; |
| unsigned int enabled_irqs[32]; |
| #endif |
| #ifdef CONFIG_CPU_PM |
| u32 saved_spi_enable[DIV_ROUND_UP(1020, 32)]; |
| u32 saved_spi_conf[DIV_ROUND_UP(1020, 16)]; |
| u32 saved_spi_target[DIV_ROUND_UP(1020, 4)]; |
| u32 __percpu *saved_ppi_enable; |
| u32 __percpu *saved_ppi_conf; |
| #endif |
| #ifdef CONFIG_IRQ_DOMAIN |
| struct irq_domain domain; |
| #endif |
| unsigned int gic_irqs; |
| }; |
| #endif |
| |
| #endif |