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.
11 #include "qemu/osdep.h"
12 #include "qapi/error.h"
13 #include "qemu/module.h"
16 #include "hw/arm/pxa.h"
17 #include "hw/sysbus.h"
18 #include "migration/vmstate.h"
20 #define ICIP 0x00 /* Interrupt Controller IRQ Pending register */
21 #define ICMR 0x04 /* Interrupt Controller Mask register */
22 #define ICLR 0x08 /* Interrupt Controller Level register */
23 #define ICFP 0x0c /* Interrupt Controller FIQ Pending register */
24 #define ICPR 0x10 /* Interrupt Controller Pending register */
25 #define ICCR 0x14 /* Interrupt Controller Control register */
26 #define ICHP 0x18 /* Interrupt Controller Highest Priority register */
27 #define IPR0 0x1c /* Interrupt Controller Priority register 0 */
28 #define IPR31 0x98 /* Interrupt Controller Priority register 31 */
29 #define ICIP2 0x9c /* Interrupt Controller IRQ Pending register 2 */
30 #define ICMR2 0xa0 /* Interrupt Controller Mask register 2 */
31 #define ICLR2 0xa4 /* Interrupt Controller Level register 2 */
32 #define ICFP2 0xa8 /* Interrupt Controller FIQ Pending register 2 */
33 #define ICPR2 0xac /* Interrupt Controller Pending register 2 */
34 #define IPR32 0xb0 /* Interrupt Controller Priority register 32 */
35 #define IPR39 0xcc /* Interrupt Controller Priority register 39 */
37 #define PXA2XX_PIC_SRCS 40
39 #define TYPE_PXA2XX_PIC "pxa2xx_pic"
40 #define PXA2XX_PIC(obj) \
41 OBJECT_CHECK(PXA2xxPICState, (obj), TYPE_PXA2XX_PIC)
45 SysBusDevice parent_obj
;
50 uint32_t int_enabled
[2];
51 uint32_t int_pending
[2];
54 uint32_t priority
[PXA2XX_PIC_SRCS
];
57 static void pxa2xx_pic_update(void *opaque
)
60 PXA2xxPICState
*s
= (PXA2xxPICState
*) opaque
;
61 CPUState
*cpu
= CPU(s
->cpu
);
64 mask
[0] = s
->int_pending
[0] & (s
->int_enabled
[0] | s
->int_idle
);
65 mask
[1] = s
->int_pending
[1] & (s
->int_enabled
[1] | s
->int_idle
);
66 if (mask
[0] || mask
[1]) {
67 cpu_interrupt(cpu
, CPU_INTERRUPT_EXITTB
);
71 mask
[0] = s
->int_pending
[0] & s
->int_enabled
[0];
72 mask
[1] = s
->int_pending
[1] & s
->int_enabled
[1];
74 if ((mask
[0] & s
->is_fiq
[0]) || (mask
[1] & s
->is_fiq
[1])) {
75 cpu_interrupt(cpu
, CPU_INTERRUPT_FIQ
);
77 cpu_reset_interrupt(cpu
, CPU_INTERRUPT_FIQ
);
80 if ((mask
[0] & ~s
->is_fiq
[0]) || (mask
[1] & ~s
->is_fiq
[1])) {
81 cpu_interrupt(cpu
, CPU_INTERRUPT_HARD
);
83 cpu_reset_interrupt(cpu
, CPU_INTERRUPT_HARD
);
87 /* Note: Here level means state of the signal on a pin, not
88 * IRQ/FIQ distinction as in PXA Developer Manual. */
89 static void pxa2xx_pic_set_irq(void *opaque
, int irq
, int level
)
91 PXA2xxPICState
*s
= (PXA2xxPICState
*) opaque
;
92 int int_set
= (irq
>= 32);
96 s
->int_pending
[int_set
] |= 1 << irq
;
98 s
->int_pending
[int_set
] &= ~(1 << irq
);
100 pxa2xx_pic_update(opaque
);
103 static inline uint32_t pxa2xx_pic_highest(PXA2xxPICState
*s
) {
105 uint32_t bit
, mask
[2];
106 uint32_t ichp
= 0x003f003f; /* Both IDs invalid */
108 mask
[0] = s
->int_pending
[0] & s
->int_enabled
[0];
109 mask
[1] = s
->int_pending
[1] & s
->int_enabled
[1];
111 for (i
= PXA2XX_PIC_SRCS
- 1; i
>= 0; i
--) {
112 irq
= s
->priority
[i
] & 0x3f;
113 if ((s
->priority
[i
] & (1U << 31)) && irq
< PXA2XX_PIC_SRCS
) {
114 /* Source peripheral ID is valid. */
115 bit
= 1 << (irq
& 31);
116 int_set
= (irq
>= 32);
118 if (mask
[int_set
] & bit
& s
->is_fiq
[int_set
]) {
121 ichp
|= (1 << 15) | irq
;
124 if (mask
[int_set
] & bit
& ~s
->is_fiq
[int_set
]) {
127 ichp
|= (1U << 31) | (irq
<< 16);
135 static uint64_t pxa2xx_pic_mem_read(void *opaque
, hwaddr offset
,
138 PXA2xxPICState
*s
= (PXA2xxPICState
*) opaque
;
141 case ICIP
: /* IRQ Pending register */
142 return s
->int_pending
[0] & ~s
->is_fiq
[0] & s
->int_enabled
[0];
143 case ICIP2
: /* IRQ Pending register 2 */
144 return s
->int_pending
[1] & ~s
->is_fiq
[1] & s
->int_enabled
[1];
145 case ICMR
: /* Mask register */
146 return s
->int_enabled
[0];
147 case ICMR2
: /* Mask register 2 */
148 return s
->int_enabled
[1];
149 case ICLR
: /* Level register */
151 case ICLR2
: /* Level register 2 */
153 case ICCR
: /* Idle mask */
154 return (s
->int_idle
== 0);
155 case ICFP
: /* FIQ Pending register */
156 return s
->int_pending
[0] & s
->is_fiq
[0] & s
->int_enabled
[0];
157 case ICFP2
: /* FIQ Pending register 2 */
158 return s
->int_pending
[1] & s
->is_fiq
[1] & s
->int_enabled
[1];
159 case ICPR
: /* Pending register */
160 return s
->int_pending
[0];
161 case ICPR2
: /* Pending register 2 */
162 return s
->int_pending
[1];
164 return s
->priority
[0 + ((offset
- IPR0
) >> 2)];
165 case IPR32
... IPR39
:
166 return s
->priority
[32 + ((offset
- IPR32
) >> 2)];
167 case ICHP
: /* Highest Priority register */
168 return pxa2xx_pic_highest(s
);
170 qemu_log_mask(LOG_GUEST_ERROR
,
171 "pxa2xx_pic_mem_read: bad register offset 0x%" HWADDR_PRIx
177 static void pxa2xx_pic_mem_write(void *opaque
, hwaddr offset
,
178 uint64_t value
, unsigned size
)
180 PXA2xxPICState
*s
= (PXA2xxPICState
*) opaque
;
183 case ICMR
: /* Mask register */
184 s
->int_enabled
[0] = value
;
186 case ICMR2
: /* Mask register 2 */
187 s
->int_enabled
[1] = value
;
189 case ICLR
: /* Level register */
190 s
->is_fiq
[0] = value
;
192 case ICLR2
: /* Level register 2 */
193 s
->is_fiq
[1] = value
;
195 case ICCR
: /* Idle mask */
196 s
->int_idle
= (value
& 1) ? 0 : ~0;
199 s
->priority
[0 + ((offset
- IPR0
) >> 2)] = value
& 0x8000003f;
201 case IPR32
... IPR39
:
202 s
->priority
[32 + ((offset
- IPR32
) >> 2)] = value
& 0x8000003f;
205 qemu_log_mask(LOG_GUEST_ERROR
,
206 "pxa2xx_pic_mem_write: bad register offset 0x%"
207 HWADDR_PRIx
"\n", offset
);
210 pxa2xx_pic_update(opaque
);
213 /* Interrupt Controller Coprocessor Space Register Mapping */
214 static const int pxa2xx_cp_reg_map
[0x10] = {
229 static uint64_t pxa2xx_pic_cp_read(CPUARMState
*env
, const ARMCPRegInfo
*ri
)
231 int offset
= pxa2xx_cp_reg_map
[ri
->crn
];
232 return pxa2xx_pic_mem_read(ri
->opaque
, offset
, 4);
235 static void pxa2xx_pic_cp_write(CPUARMState
*env
, const ARMCPRegInfo
*ri
,
238 int offset
= pxa2xx_cp_reg_map
[ri
->crn
];
239 pxa2xx_pic_mem_write(ri
->opaque
, offset
, value
, 4);
242 #define REGINFO_FOR_PIC_CP(NAME, CRN) \
243 { .name = NAME, .cp = 6, .crn = CRN, .crm = 0, .opc1 = 0, .opc2 = 0, \
244 .access = PL1_RW, .type = ARM_CP_IO, \
245 .readfn = pxa2xx_pic_cp_read, .writefn = pxa2xx_pic_cp_write }
247 static const ARMCPRegInfo pxa_pic_cp_reginfo
[] = {
248 REGINFO_FOR_PIC_CP("ICIP", 0),
249 REGINFO_FOR_PIC_CP("ICMR", 1),
250 REGINFO_FOR_PIC_CP("ICLR", 2),
251 REGINFO_FOR_PIC_CP("ICFP", 3),
252 REGINFO_FOR_PIC_CP("ICPR", 4),
253 REGINFO_FOR_PIC_CP("ICHP", 5),
254 REGINFO_FOR_PIC_CP("ICIP2", 6),
255 REGINFO_FOR_PIC_CP("ICMR2", 7),
256 REGINFO_FOR_PIC_CP("ICLR2", 8),
257 REGINFO_FOR_PIC_CP("ICFP2", 9),
258 REGINFO_FOR_PIC_CP("ICPR2", 0xa),
262 static const MemoryRegionOps pxa2xx_pic_ops
= {
263 .read
= pxa2xx_pic_mem_read
,
264 .write
= pxa2xx_pic_mem_write
,
265 .endianness
= DEVICE_NATIVE_ENDIAN
,
268 static int pxa2xx_pic_post_load(void *opaque
, int version_id
)
270 pxa2xx_pic_update(opaque
);
274 DeviceState
*pxa2xx_pic_init(hwaddr base
, ARMCPU
*cpu
)
276 DeviceState
*dev
= qdev_new(TYPE_PXA2XX_PIC
);
277 PXA2xxPICState
*s
= PXA2XX_PIC(dev
);
281 s
->int_pending
[0] = 0;
282 s
->int_pending
[1] = 0;
283 s
->int_enabled
[0] = 0;
284 s
->int_enabled
[1] = 0;
288 sysbus_realize_and_unref(SYS_BUS_DEVICE(dev
), &error_fatal
);
290 qdev_init_gpio_in(dev
, pxa2xx_pic_set_irq
, PXA2XX_PIC_SRCS
);
292 /* Enable IC memory-mapped registers access. */
293 memory_region_init_io(&s
->iomem
, OBJECT(s
), &pxa2xx_pic_ops
, s
,
294 "pxa2xx-pic", 0x00100000);
295 sysbus_init_mmio(SYS_BUS_DEVICE(dev
), &s
->iomem
);
296 sysbus_mmio_map(SYS_BUS_DEVICE(dev
), 0, base
);
298 /* Enable IC coprocessor access. */
299 define_arm_cp_regs_with_opaque(cpu
, pxa_pic_cp_reginfo
, s
);
304 static VMStateDescription vmstate_pxa2xx_pic_regs
= {
305 .name
= "pxa2xx_pic",
307 .minimum_version_id
= 0,
308 .post_load
= pxa2xx_pic_post_load
,
309 .fields
= (VMStateField
[]) {
310 VMSTATE_UINT32_ARRAY(int_enabled
, PXA2xxPICState
, 2),
311 VMSTATE_UINT32_ARRAY(int_pending
, PXA2xxPICState
, 2),
312 VMSTATE_UINT32_ARRAY(is_fiq
, PXA2xxPICState
, 2),
313 VMSTATE_UINT32(int_idle
, PXA2xxPICState
),
314 VMSTATE_UINT32_ARRAY(priority
, PXA2xxPICState
, PXA2XX_PIC_SRCS
),
315 VMSTATE_END_OF_LIST(),
319 static void pxa2xx_pic_class_init(ObjectClass
*klass
, void *data
)
321 DeviceClass
*dc
= DEVICE_CLASS(klass
);
323 dc
->desc
= "PXA2xx PIC";
324 dc
->vmsd
= &vmstate_pxa2xx_pic_regs
;
327 static const TypeInfo pxa2xx_pic_info
= {
328 .name
= TYPE_PXA2XX_PIC
,
329 .parent
= TYPE_SYS_BUS_DEVICE
,
330 .instance_size
= sizeof(PXA2xxPICState
),
331 .class_init
= pxa2xx_pic_class_init
,
334 static void pxa2xx_pic_register_types(void)
336 type_register_static(&pxa2xx_pic_info
);
339 type_init(pxa2xx_pic_register_types
)