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 void gic_dist_init(unsigned int gic_nr, void __iomem *base, unsigned int irq_start); 37 void gic_cpu_init(unsigned int gic_nr, void __iomem *base); 38 void gic_cascade_irq(unsigned int gic_nr, unsigned int irq); 39 void gic_raise_softirq(cpumask_t cpumask, unsigned int irq); 40 #endif 41 42 #endif 43