pc: Set fw_cfg data based on APIC ID calculation
[qemu/rayw.git] / hw / pxa2xx_pic.c
blob90b8fef3f9ede37027dda02b9bdf7f61772a3ba8
1 /*
2 * Intel XScale PXA Programmable Interrupt Controller.
4 * Copyright (c) 2006 Openedhand Ltd.
5 * Copyright (c) 2006 Thorsten Zitterell
6 * Written by Andrzej Zaborowski <balrog@zabor.org>
8 * This code is licensed under the GPL.
9 */
11 #include "hw.h"
12 #include "pxa.h"
13 #include "sysbus.h"
15 #define ICIP 0x00 /* Interrupt Controller IRQ Pending register */
16 #define ICMR 0x04 /* Interrupt Controller Mask register */
17 #define ICLR 0x08 /* Interrupt Controller Level register */
18 #define ICFP 0x0c /* Interrupt Controller FIQ Pending register */
19 #define ICPR 0x10 /* Interrupt Controller Pending register */
20 #define ICCR 0x14 /* Interrupt Controller Control register */
21 #define ICHP 0x18 /* Interrupt Controller Highest Priority register */
22 #define IPR0 0x1c /* Interrupt Controller Priority register 0 */
23 #define IPR31 0x98 /* Interrupt Controller Priority register 31 */
24 #define ICIP2 0x9c /* Interrupt Controller IRQ Pending register 2 */
25 #define ICMR2 0xa0 /* Interrupt Controller Mask register 2 */
26 #define ICLR2 0xa4 /* Interrupt Controller Level register 2 */
27 #define ICFP2 0xa8 /* Interrupt Controller FIQ Pending register 2 */
28 #define ICPR2 0xac /* Interrupt Controller Pending register 2 */
29 #define IPR32 0xb0 /* Interrupt Controller Priority register 32 */
30 #define IPR39 0xcc /* Interrupt Controller Priority register 39 */
32 #define PXA2XX_PIC_SRCS 40
34 typedef struct {
35 SysBusDevice busdev;
36 MemoryRegion iomem;
37 ARMCPU *cpu;
38 uint32_t int_enabled[2];
39 uint32_t int_pending[2];
40 uint32_t is_fiq[2];
41 uint32_t int_idle;
42 uint32_t priority[PXA2XX_PIC_SRCS];
43 } PXA2xxPICState;
45 static void pxa2xx_pic_update(void *opaque)
47 uint32_t mask[2];
48 PXA2xxPICState *s = (PXA2xxPICState *) opaque;
50 if (s->cpu->env.halted) {
51 mask[0] = s->int_pending[0] & (s->int_enabled[0] | s->int_idle);
52 mask[1] = s->int_pending[1] & (s->int_enabled[1] | s->int_idle);
53 if (mask[0] || mask[1]) {
54 cpu_interrupt(&s->cpu->env, CPU_INTERRUPT_EXITTB);
58 mask[0] = s->int_pending[0] & s->int_enabled[0];
59 mask[1] = s->int_pending[1] & s->int_enabled[1];
61 if ((mask[0] & s->is_fiq[0]) || (mask[1] & s->is_fiq[1])) {
62 cpu_interrupt(&s->cpu->env, CPU_INTERRUPT_FIQ);
63 } else {
64 cpu_reset_interrupt(&s->cpu->env, CPU_INTERRUPT_FIQ);
67 if ((mask[0] & ~s->is_fiq[0]) || (mask[1] & ~s->is_fiq[1])) {
68 cpu_interrupt(&s->cpu->env, CPU_INTERRUPT_HARD);
69 } else {
70 cpu_reset_interrupt(&s->cpu->env, CPU_INTERRUPT_HARD);
74 /* Note: Here level means state of the signal on a pin, not
75 * IRQ/FIQ distinction as in PXA Developer Manual. */
76 static void pxa2xx_pic_set_irq(void *opaque, int irq, int level)
78 PXA2xxPICState *s = (PXA2xxPICState *) opaque;
79 int int_set = (irq >= 32);
80 irq &= 31;
82 if (level)
83 s->int_pending[int_set] |= 1 << irq;
84 else
85 s->int_pending[int_set] &= ~(1 << irq);
87 pxa2xx_pic_update(opaque);
90 static inline uint32_t pxa2xx_pic_highest(PXA2xxPICState *s) {
91 int i, int_set, irq;
92 uint32_t bit, mask[2];
93 uint32_t ichp = 0x003f003f; /* Both IDs invalid */
95 mask[0] = s->int_pending[0] & s->int_enabled[0];
96 mask[1] = s->int_pending[1] & s->int_enabled[1];
98 for (i = PXA2XX_PIC_SRCS - 1; i >= 0; i --) {
99 irq = s->priority[i] & 0x3f;
100 if ((s->priority[i] & (1 << 31)) && irq < PXA2XX_PIC_SRCS) {
101 /* Source peripheral ID is valid. */
102 bit = 1 << (irq & 31);
103 int_set = (irq >= 32);
105 if (mask[int_set] & bit & s->is_fiq[int_set]) {
106 /* FIQ asserted */
107 ichp &= 0xffff0000;
108 ichp |= (1 << 15) | irq;
111 if (mask[int_set] & bit & ~s->is_fiq[int_set]) {
112 /* IRQ asserted */
113 ichp &= 0x0000ffff;
114 ichp |= (1 << 31) | (irq << 16);
119 return ichp;
122 static uint64_t pxa2xx_pic_mem_read(void *opaque, hwaddr offset,
123 unsigned size)
125 PXA2xxPICState *s = (PXA2xxPICState *) opaque;
127 switch (offset) {
128 case ICIP: /* IRQ Pending register */
129 return s->int_pending[0] & ~s->is_fiq[0] & s->int_enabled[0];
130 case ICIP2: /* IRQ Pending register 2 */
131 return s->int_pending[1] & ~s->is_fiq[1] & s->int_enabled[1];
132 case ICMR: /* Mask register */
133 return s->int_enabled[0];
134 case ICMR2: /* Mask register 2 */
135 return s->int_enabled[1];
136 case ICLR: /* Level register */
137 return s->is_fiq[0];
138 case ICLR2: /* Level register 2 */
139 return s->is_fiq[1];
140 case ICCR: /* Idle mask */
141 return (s->int_idle == 0);
142 case ICFP: /* FIQ Pending register */
143 return s->int_pending[0] & s->is_fiq[0] & s->int_enabled[0];
144 case ICFP2: /* FIQ Pending register 2 */
145 return s->int_pending[1] & s->is_fiq[1] & s->int_enabled[1];
146 case ICPR: /* Pending register */
147 return s->int_pending[0];
148 case ICPR2: /* Pending register 2 */
149 return s->int_pending[1];
150 case IPR0 ... IPR31:
151 return s->priority[0 + ((offset - IPR0 ) >> 2)];
152 case IPR32 ... IPR39:
153 return s->priority[32 + ((offset - IPR32) >> 2)];
154 case ICHP: /* Highest Priority register */
155 return pxa2xx_pic_highest(s);
156 default:
157 printf("%s: Bad register offset " REG_FMT "\n", __FUNCTION__, offset);
158 return 0;
162 static void pxa2xx_pic_mem_write(void *opaque, hwaddr offset,
163 uint64_t value, unsigned size)
165 PXA2xxPICState *s = (PXA2xxPICState *) opaque;
167 switch (offset) {
168 case ICMR: /* Mask register */
169 s->int_enabled[0] = value;
170 break;
171 case ICMR2: /* Mask register 2 */
172 s->int_enabled[1] = value;
173 break;
174 case ICLR: /* Level register */
175 s->is_fiq[0] = value;
176 break;
177 case ICLR2: /* Level register 2 */
178 s->is_fiq[1] = value;
179 break;
180 case ICCR: /* Idle mask */
181 s->int_idle = (value & 1) ? 0 : ~0;
182 break;
183 case IPR0 ... IPR31:
184 s->priority[0 + ((offset - IPR0 ) >> 2)] = value & 0x8000003f;
185 break;
186 case IPR32 ... IPR39:
187 s->priority[32 + ((offset - IPR32) >> 2)] = value & 0x8000003f;
188 break;
189 default:
190 printf("%s: Bad register offset " REG_FMT "\n", __FUNCTION__, offset);
191 return;
193 pxa2xx_pic_update(opaque);
196 /* Interrupt Controller Coprocessor Space Register Mapping */
197 static const int pxa2xx_cp_reg_map[0x10] = {
198 [0x0 ... 0xf] = -1,
199 [0x0] = ICIP,
200 [0x1] = ICMR,
201 [0x2] = ICLR,
202 [0x3] = ICFP,
203 [0x4] = ICPR,
204 [0x5] = ICHP,
205 [0x6] = ICIP2,
206 [0x7] = ICMR2,
207 [0x8] = ICLR2,
208 [0x9] = ICFP2,
209 [0xa] = ICPR2,
212 static int pxa2xx_pic_cp_read(CPUARMState *env, const ARMCPRegInfo *ri,
213 uint64_t *value)
215 int offset = pxa2xx_cp_reg_map[ri->crn];
216 *value = pxa2xx_pic_mem_read(ri->opaque, offset, 4);
217 return 0;
220 static int pxa2xx_pic_cp_write(CPUARMState *env, const ARMCPRegInfo *ri,
221 uint64_t value)
223 int offset = pxa2xx_cp_reg_map[ri->crn];
224 pxa2xx_pic_mem_write(ri->opaque, offset, value, 4);
225 return 0;
228 #define REGINFO_FOR_PIC_CP(NAME, CRN) \
229 { .name = NAME, .cp = 6, .crn = CRN, .crm = 0, .opc1 = 0, .opc2 = 0, \
230 .access = PL1_RW, \
231 .readfn = pxa2xx_pic_cp_read, .writefn = pxa2xx_pic_cp_write }
233 static const ARMCPRegInfo pxa_pic_cp_reginfo[] = {
234 REGINFO_FOR_PIC_CP("ICIP", 0),
235 REGINFO_FOR_PIC_CP("ICMR", 1),
236 REGINFO_FOR_PIC_CP("ICLR", 2),
237 REGINFO_FOR_PIC_CP("ICFP", 3),
238 REGINFO_FOR_PIC_CP("ICPR", 4),
239 REGINFO_FOR_PIC_CP("ICHP", 5),
240 REGINFO_FOR_PIC_CP("ICIP2", 6),
241 REGINFO_FOR_PIC_CP("ICMR2", 7),
242 REGINFO_FOR_PIC_CP("ICLR2", 8),
243 REGINFO_FOR_PIC_CP("ICFP2", 9),
244 REGINFO_FOR_PIC_CP("ICPR2", 0xa),
245 REGINFO_SENTINEL
248 static const MemoryRegionOps pxa2xx_pic_ops = {
249 .read = pxa2xx_pic_mem_read,
250 .write = pxa2xx_pic_mem_write,
251 .endianness = DEVICE_NATIVE_ENDIAN,
254 static int pxa2xx_pic_post_load(void *opaque, int version_id)
256 pxa2xx_pic_update(opaque);
257 return 0;
260 DeviceState *pxa2xx_pic_init(hwaddr base, ARMCPU *cpu)
262 CPUARMState *env = &cpu->env;
263 DeviceState *dev = qdev_create(NULL, "pxa2xx_pic");
264 PXA2xxPICState *s = FROM_SYSBUS(PXA2xxPICState, SYS_BUS_DEVICE(dev));
266 s->cpu = cpu;
268 s->int_pending[0] = 0;
269 s->int_pending[1] = 0;
270 s->int_enabled[0] = 0;
271 s->int_enabled[1] = 0;
272 s->is_fiq[0] = 0;
273 s->is_fiq[1] = 0;
275 qdev_init_nofail(dev);
277 qdev_init_gpio_in(dev, pxa2xx_pic_set_irq, PXA2XX_PIC_SRCS);
279 /* Enable IC memory-mapped registers access. */
280 memory_region_init_io(&s->iomem, &pxa2xx_pic_ops, s,
281 "pxa2xx-pic", 0x00100000);
282 sysbus_init_mmio(SYS_BUS_DEVICE(dev), &s->iomem);
283 sysbus_mmio_map(SYS_BUS_DEVICE(dev), 0, base);
285 /* Enable IC coprocessor access. */
286 define_arm_cp_regs_with_opaque(arm_env_get_cpu(env), pxa_pic_cp_reginfo, s);
288 return dev;
291 static VMStateDescription vmstate_pxa2xx_pic_regs = {
292 .name = "pxa2xx_pic",
293 .version_id = 0,
294 .minimum_version_id = 0,
295 .minimum_version_id_old = 0,
296 .post_load = pxa2xx_pic_post_load,
297 .fields = (VMStateField[]) {
298 VMSTATE_UINT32_ARRAY(int_enabled, PXA2xxPICState, 2),
299 VMSTATE_UINT32_ARRAY(int_pending, PXA2xxPICState, 2),
300 VMSTATE_UINT32_ARRAY(is_fiq, PXA2xxPICState, 2),
301 VMSTATE_UINT32(int_idle, PXA2xxPICState),
302 VMSTATE_UINT32_ARRAY(priority, PXA2xxPICState, PXA2XX_PIC_SRCS),
303 VMSTATE_END_OF_LIST(),
307 static int pxa2xx_pic_initfn(SysBusDevice *dev)
309 return 0;
312 static void pxa2xx_pic_class_init(ObjectClass *klass, void *data)
314 DeviceClass *dc = DEVICE_CLASS(klass);
315 SysBusDeviceClass *k = SYS_BUS_DEVICE_CLASS(klass);
317 k->init = pxa2xx_pic_initfn;
318 dc->desc = "PXA2xx PIC";
319 dc->vmsd = &vmstate_pxa2xx_pic_regs;
322 static const TypeInfo pxa2xx_pic_info = {
323 .name = "pxa2xx_pic",
324 .parent = TYPE_SYS_BUS_DEVICE,
325 .instance_size = sizeof(PXA2xxPICState),
326 .class_init = pxa2xx_pic_class_init,
329 static void pxa2xx_pic_register_types(void)
331 type_register_static(&pxa2xx_pic_info);
334 type_init(pxa2xx_pic_register_types)