1 /*
2  *  arch/arm/include/asm/hardware/gic.h
3  *
4  *  Copyright (C) 2002 ARM Limited, All Rights Reserved.
5  *
6  * This program is free software; you can redistribute it and/or modify
7  * it under the terms of the GNU General Public License version 2 as
8  * published by the Free Software Foundation.
9  */
10 #ifndef __ASM_ARM_HARDWARE_GIC_H
11 #define __ASM_ARM_HARDWARE_GIC_H
12 
13 #include <linux/compiler.h>
14 
15 #define GIC_CPU_CTRL			0x00
16 #define GIC_CPU_PRIMASK			0x04
17 #define GIC_CPU_BINPOINT		0x08
18 #define GIC_CPU_INTACK			0x0c
19 #define GIC_CPU_EOI			0x10
20 #define GIC_CPU_RUNNINGPRI		0x14
21 #define GIC_CPU_HIGHPRI			0x18
22 
23 #define GIC_DIST_CTRL			0x000
24 #define GIC_DIST_CTR			0x004
25 #define GIC_DIST_ENABLE_SET		0x100
26 #define GIC_DIST_ENABLE_CLEAR		0x180
27 #define GIC_DIST_PENDING_SET		0x200
28 #define GIC_DIST_PENDING_CLEAR		0x280
29 #define GIC_DIST_ACTIVE_BIT		0x300
30 #define GIC_DIST_PRI			0x400
31 #define GIC_DIST_TARGET			0x800
32 #define GIC_DIST_CONFIG			0xc00
33 #define GIC_DIST_SOFTINT		0xf00
34 
35 #ifndef __ASSEMBLY__
36 extern void __iomem *gic_cpu_base_addr;
37 extern struct irq_chip gic_arch_extn;
38 
39 void gic_init(unsigned int, unsigned int, void __iomem *, void __iomem *);
40 void gic_secondary_init(unsigned int);
41 void gic_cascade_irq(unsigned int gic_nr, unsigned int irq);
42 void gic_raise_softirq(const struct cpumask *mask, unsigned int irq);
43 void gic_enable_ppi(unsigned int);
44 #endif
45 
46 #endif
47