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__
36extern void __iomem *gic_cpu_base_addr;
37extern struct irq_chip gic_arch_extn;
38
39void gic_init(unsigned int, unsigned int, void __iomem *, void __iomem *);
40void gic_secondary_init(unsigned int);
41void gic_cascade_irq(unsigned int gic_nr, unsigned int irq);
42void gic_raise_softirq(const struct cpumask *mask, unsigned int irq);
43void gic_enable_ppi(unsigned int);
44
45struct gic_chip_data {
46	unsigned int irq_offset;
47	void __iomem *dist_base;
48	void __iomem *cpu_base;
49};
50#endif
51
52#endif