2 * Intel XScale PXA Programmable Interrupt Controller.
4 * Copyright (c) 2006 Openedhand Ltd.
5 * Copyright (c) 2006 Thorsten Zitterell
8 * This code is licenced under the GPL.
14 #define ICIP 0x00 /* Interrupt Controller IRQ Pending register */
15 #define ICMR 0x04 /* Interrupt Controller Mask register */
16 #define ICLR 0x08 /* Interrupt Controller Level register */
17 #define ICFP 0x0c /* Interrupt Controller FIQ Pending register */
18 #define ICPR 0x10 /* Interrupt Controller Pending register */
19 #define ICCR 0x14 /* Interrupt Controller Control register */
20 #define ICHP 0x18 /* Interrupt Controller Highest Priority register */
21 #define IPR0 0x1c /* Interrupt Controller Priority register 0 */
22 #define IPR31 0x98 /* Interrupt Controller Priority register 31 */
23 #define ICIP2 0x9c /* Interrupt Controller IRQ Pending register 2 */
24 #define ICMR2 0xa0 /* Interrupt Controller Mask register 2 */
25 #define ICLR2 0xa4 /* Interrupt Controller Level register 2 */
26 #define ICFP2 0xa8 /* Interrupt Controller FIQ Pending register 2 */
27 #define ICPR2 0xac /* Interrupt Controller Pending register 2 */
28 #define IPR32 0xb0 /* Interrupt Controller Priority register 32 */
29 #define IPR39 0xcc /* Interrupt Controller Priority register 39 */
31 #define PXA2XX_PIC_SRCS 40
35 uint32_t int_enabled[2];
36 uint32_t int_pending[2];
39 uint32_t priority[PXA2XX_PIC_SRCS];
42 static void pxa2xx_pic_update(void *opaque)
45 PXA2xxPICState *s = (PXA2xxPICState *) opaque;
47 if (s->cpu_env->halted) {
48 mask[0] = s->int_pending[0] & (s->int_enabled[0] | s->int_idle);
49 mask[1] = s->int_pending[1] & (s->int_enabled[1] | s->int_idle);
50 if (mask[0] || mask[1])
51 cpu_interrupt(s->cpu_env, CPU_INTERRUPT_EXITTB);
54 mask[0] = s->int_pending[0] & s->int_enabled[0];
55 mask[1] = s->int_pending[1] & s->int_enabled[1];
57 if ((mask[0] & s->is_fiq[0]) || (mask[1] & s->is_fiq[1]))
58 cpu_interrupt(s->cpu_env, CPU_INTERRUPT_FIQ);
60 cpu_reset_interrupt(s->cpu_env, CPU_INTERRUPT_FIQ);
62 if ((mask[0] & ~s->is_fiq[0]) || (mask[1] & ~s->is_fiq[1]))
63 cpu_interrupt(s->cpu_env, CPU_INTERRUPT_HARD);
65 cpu_reset_interrupt(s->cpu_env, CPU_INTERRUPT_HARD);
68 /* Note: Here level means state of the signal on a pin, not
69 * IRQ/FIQ distinction as in PXA Developer Manual. */
70 static void pxa2xx_pic_set_irq(void *opaque, int irq, int level)
72 PXA2xxPICState *s = (PXA2xxPICState *) opaque;
73 int int_set = (irq >= 32);
77 s->int_pending[int_set] |= 1 << irq;
79 s->int_pending[int_set] &= ~(1 << irq);
81 pxa2xx_pic_update(opaque);
84 static inline uint32_t pxa2xx_pic_highest(PXA2xxPICState *s) {
86 uint32_t bit, mask[2];
87 uint32_t ichp = 0x003f003f; /* Both IDs invalid */
89 mask[0] = s->int_pending[0] & s->int_enabled[0];
90 mask[1] = s->int_pending[1] & s->int_enabled[1];
92 for (i = PXA2XX_PIC_SRCS - 1; i >= 0; i --) {
93 irq = s->priority[i] & 0x3f;
94 if ((s->priority[i] & (1 << 31)) && irq < PXA2XX_PIC_SRCS) {
95 /* Source peripheral ID is valid. */
96 bit = 1 << (irq & 31);
97 int_set = (irq >= 32);
99 if (mask[int_set] & bit & s->is_fiq[int_set]) {
102 ichp |= (1 << 15) | irq;
105 if (mask[int_set] & bit & ~s->is_fiq[int_set]) {
108 ichp |= (1 << 31) | (irq << 16);
116 static uint32_t pxa2xx_pic_mem_read(void *opaque, target_phys_addr_t offset)
118 PXA2xxPICState *s = (PXA2xxPICState *) opaque;
121 case ICIP: /* IRQ Pending register */
122 return s->int_pending[0] & ~s->is_fiq[0] & s->int_enabled[0];
123 case ICIP2: /* IRQ Pending register 2 */
124 return s->int_pending[1] & ~s->is_fiq[1] & s->int_enabled[1];
125 case ICMR: /* Mask register */
126 return s->int_enabled[0];
127 case ICMR2: /* Mask register 2 */
128 return s->int_enabled[1];
129 case ICLR: /* Level register */
131 case ICLR2: /* Level register 2 */
133 case ICCR: /* Idle mask */
134 return (s->int_idle == 0);
135 case ICFP: /* FIQ Pending register */
136 return s->int_pending[0] & s->is_fiq[0] & s->int_enabled[0];
137 case ICFP2: /* FIQ Pending register 2 */
138 return s->int_pending[1] & s->is_fiq[1] & s->int_enabled[1];
139 case ICPR: /* Pending register */
140 return s->int_pending[0];
141 case ICPR2: /* Pending register 2 */
142 return s->int_pending[1];
144 return s->priority[0 + ((offset - IPR0 ) >> 2)];
145 case IPR32 ... IPR39:
146 return s->priority[32 + ((offset - IPR32) >> 2)];
147 case ICHP: /* Highest Priority register */
148 return pxa2xx_pic_highest(s);
150 printf("%s: Bad register offset " REG_FMT "\n", __FUNCTION__, offset);
155 static void pxa2xx_pic_mem_write(void *opaque, target_phys_addr_t offset,
158 PXA2xxPICState *s = (PXA2xxPICState *) opaque;
161 case ICMR: /* Mask register */
162 s->int_enabled[0] = value;
164 case ICMR2: /* Mask register 2 */
165 s->int_enabled[1] = value;
167 case ICLR: /* Level register */
168 s->is_fiq[0] = value;
170 case ICLR2: /* Level register 2 */
171 s->is_fiq[1] = value;
173 case ICCR: /* Idle mask */
174 s->int_idle = (value & 1) ? 0 : ~0;
177 s->priority[0 + ((offset - IPR0 ) >> 2)] = value & 0x8000003f;
179 case IPR32 ... IPR39:
180 s->priority[32 + ((offset - IPR32) >> 2)] = value & 0x8000003f;
183 printf("%s: Bad register offset " REG_FMT "\n", __FUNCTION__, offset);
186 pxa2xx_pic_update(opaque);
189 /* Interrupt Controller Coprocessor Space Register Mapping */
190 static const int pxa2xx_cp_reg_map[0x10] = {
205 static uint32_t pxa2xx_pic_cp_read(void *opaque, int op2, int reg, int crm)
207 target_phys_addr_t offset;
209 if (pxa2xx_cp_reg_map[reg] == -1) {
210 printf("%s: Bad register 0x%x\n", __FUNCTION__, reg);
214 offset = pxa2xx_cp_reg_map[reg];
215 return pxa2xx_pic_mem_read(opaque, offset);
218 static void pxa2xx_pic_cp_write(void *opaque, int op2, int reg, int crm,
221 target_phys_addr_t offset;
223 if (pxa2xx_cp_reg_map[reg] == -1) {
224 printf("%s: Bad register 0x%x\n", __FUNCTION__, reg);
228 offset = pxa2xx_cp_reg_map[reg];
229 pxa2xx_pic_mem_write(opaque, offset, value);
232 static CPUReadMemoryFunc * const pxa2xx_pic_readfn[] = {
238 static CPUWriteMemoryFunc * const pxa2xx_pic_writefn[] = {
239 pxa2xx_pic_mem_write,
240 pxa2xx_pic_mem_write,
241 pxa2xx_pic_mem_write,
244 static void pxa2xx_pic_save(QEMUFile *f, void *opaque)
246 PXA2xxPICState *s = (PXA2xxPICState *) opaque;
249 for (i = 0; i < 2; i ++)
250 qemu_put_be32s(f, &s->int_enabled[i]);
251 for (i = 0; i < 2; i ++)
252 qemu_put_be32s(f, &s->int_pending[i]);
253 for (i = 0; i < 2; i ++)
254 qemu_put_be32s(f, &s->is_fiq[i]);
255 qemu_put_be32s(f, &s->int_idle);
256 for (i = 0; i < PXA2XX_PIC_SRCS; i ++)
257 qemu_put_be32s(f, &s->priority[i]);
260 static int pxa2xx_pic_load(QEMUFile *f, void *opaque, int version_id)
262 PXA2xxPICState *s = (PXA2xxPICState *) opaque;
265 for (i = 0; i < 2; i ++)
266 qemu_get_be32s(f, &s->int_enabled[i]);
267 for (i = 0; i < 2; i ++)
268 qemu_get_be32s(f, &s->int_pending[i]);
269 for (i = 0; i < 2; i ++)
270 qemu_get_be32s(f, &s->is_fiq[i]);
271 qemu_get_be32s(f, &s->int_idle);
272 for (i = 0; i < PXA2XX_PIC_SRCS; i ++)
273 qemu_get_be32s(f, &s->priority[i]);
275 pxa2xx_pic_update(opaque);
279 qemu_irq *pxa2xx_pic_init(target_phys_addr_t base, CPUState *env)
285 s = (PXA2xxPICState *)
286 qemu_mallocz(sizeof(PXA2xxPICState));
292 s->int_pending[0] = 0;
293 s->int_pending[1] = 0;
294 s->int_enabled[0] = 0;
295 s->int_enabled[1] = 0;
299 qi = qemu_allocate_irqs(pxa2xx_pic_set_irq, s, PXA2XX_PIC_SRCS);
301 /* Enable IC memory-mapped registers access. */
302 iomemtype = cpu_register_io_memory(pxa2xx_pic_readfn,
303 pxa2xx_pic_writefn, s);
304 cpu_register_physical_memory(base, 0x00100000, iomemtype);
306 /* Enable IC coprocessor access. */
307 cpu_arm_set_cp_io(env, 6, pxa2xx_pic_cp_read, pxa2xx_pic_cp_write, s);
309 register_savevm("pxa2xx_pic", 0, 0, pxa2xx_pic_save, pxa2xx_pic_load, s);