14 #include <asm/setup.h>
18 #define SEAD_CONFIG_GIC_PRESENT_SHF 1
19 #define SEAD_CONFIG_GIC_PRESENT_MSK (1 << SEAD_CONFIG_GIC_PRESENT_SHF)
20 #define SEAD_CONFIG_BASE 0x1b100110
21 #define SEAD_CONFIG_SIZE 4
24 static unsigned long sead3_config_reg;
30 #define GIC_CPU_NMI GIC_MAP_TO_NMI_MSK
71 for (i = 0; i < 8; i++)
91 unsigned int i, irq_source;
108 unsigned int i, irq_source;
131 unsigned int i, irq_source;