2005-08-18 16:31:00 -04:00
|
|
|
/*
|
|
|
|
* linux/include/asm-arm/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__
|
2007-02-14 13:14:56 -05:00
|
|
|
void gic_dist_init(unsigned int gic_nr, void __iomem *base, unsigned int irq_start);
|
|
|
|
void gic_cpu_init(unsigned int gic_nr, void __iomem *base);
|
|
|
|
void gic_cascade_irq(unsigned int gic_nr, unsigned int irq);
|
2005-08-18 16:31:00 -04:00
|
|
|
void gic_raise_softirq(cpumask_t cpumask, unsigned int irq);
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif
|