#include <linux/compiler.h>
#include <linux/irqdomain.h>
Go to the source code of this file.
#define GIC_CPU_BINPOINT 0x08 |
Definition at line 17 of file gic.h.
#define GIC_CPU_CTRL 0x00 |
Definition at line 15 of file gic.h.
Definition at line 19 of file gic.h.
#define GIC_CPU_HIGHPRI 0x18 |
Definition at line 21 of file gic.h.
#define GIC_CPU_INTACK 0x0c |
Definition at line 18 of file gic.h.
#define GIC_CPU_PRIMASK 0x04 |
Definition at line 16 of file gic.h.
#define GIC_CPU_RUNNINGPRI 0x14 |
Definition at line 20 of file gic.h.
#define GIC_DIST_ACTIVE_BIT 0x300 |
Definition at line 29 of file gic.h.
#define GIC_DIST_CONFIG 0xc00 |
Definition at line 32 of file gic.h.
#define GIC_DIST_CTR 0x004 |
Definition at line 24 of file gic.h.
#define GIC_DIST_CTRL 0x000 |
Definition at line 23 of file gic.h.
#define GIC_DIST_ENABLE_CLEAR 0x180 |
Definition at line 26 of file gic.h.
#define GIC_DIST_ENABLE_SET 0x100 |
Definition at line 25 of file gic.h.
#define GIC_DIST_PENDING_CLEAR 0x280 |
Definition at line 28 of file gic.h.
#define GIC_DIST_PENDING_SET 0x200 |
Definition at line 27 of file gic.h.
#define GIC_DIST_PRI 0x400 |
Definition at line 30 of file gic.h.
#define GIC_DIST_SOFTINT 0xf00 |
Definition at line 33 of file gic.h.
#define GIC_DIST_TARGET 0x800 |
Definition at line 31 of file gic.h.
void gic_cascade_irq |
( |
unsigned int |
gic_nr, |
|
|
unsigned int |
irq |
|
) |
| |
void gic_secondary_init |
( |
unsigned |
int | ) |
|
Definition at line 76 of file gic.c.