]>
Commit | Line | Data |
---|---|---|
5fafdf24 | 1 | /* |
e69954b9 PB |
2 | * ARM AMBA Generic/Distributed Interrupt Controller |
3 | * | |
4 | * Copyright (c) 2006 CodeSourcery. | |
5 | * Written by Paul Brook | |
6 | * | |
7 | * This code is licenced under the GPL. | |
8 | */ | |
9 | ||
10 | /* TODO: Some variants of this controller can handle multiple CPUs. | |
11 | Currently only single CPU operation is implemented. */ | |
12 | ||
13 | #include "vl.h" | |
14 | #include "arm_pic.h" | |
15 | ||
16 | //#define DEBUG_GIC | |
17 | ||
18 | #ifdef DEBUG_GIC | |
19 | #define DPRINTF(fmt, args...) \ | |
df628ff1 | 20 | do { printf("arm_gic: " fmt , ##args); } while (0) |
e69954b9 PB |
21 | #else |
22 | #define DPRINTF(fmt, args...) do {} while(0) | |
23 | #endif | |
24 | ||
25 | /* Distributed interrupt controller. */ | |
26 | ||
27 | static const uint8_t gic_id[] = | |
28 | { 0x90, 0x13, 0x04, 0x00, 0x0d, 0xf0, 0x05, 0xb1 }; | |
29 | ||
30 | #define GIC_NIRQ 96 | |
31 | ||
32 | typedef struct gic_irq_state | |
33 | { | |
34 | unsigned enabled:1; | |
35 | unsigned pending:1; | |
36 | unsigned active:1; | |
37 | unsigned level:1; | |
38 | unsigned model:1; /* 0 = 1:N, 1 = N:N */ | |
39 | unsigned trigger:1; /* nonzero = edge triggered. */ | |
40 | } gic_irq_state; | |
41 | ||
42 | #define GIC_SET_ENABLED(irq) s->irq_state[irq].enabled = 1 | |
43 | #define GIC_CLEAR_ENABLED(irq) s->irq_state[irq].enabled = 0 | |
44 | #define GIC_TEST_ENABLED(irq) s->irq_state[irq].enabled | |
45 | #define GIC_SET_PENDING(irq) s->irq_state[irq].pending = 1 | |
46 | #define GIC_CLEAR_PENDING(irq) s->irq_state[irq].pending = 0 | |
47 | #define GIC_TEST_PENDING(irq) s->irq_state[irq].pending | |
48 | #define GIC_SET_ACTIVE(irq) s->irq_state[irq].active = 1 | |
49 | #define GIC_CLEAR_ACTIVE(irq) s->irq_state[irq].active = 0 | |
50 | #define GIC_TEST_ACTIVE(irq) s->irq_state[irq].active | |
51 | #define GIC_SET_MODEL(irq) s->irq_state[irq].model = 1 | |
52 | #define GIC_CLEAR_MODEL(irq) s->irq_state[irq].model = 0 | |
53 | #define GIC_TEST_MODEL(irq) s->irq_state[irq].model | |
54 | #define GIC_SET_LEVEL(irq) s->irq_state[irq].level = 1 | |
55 | #define GIC_CLEAR_LEVEL(irq) s->irq_state[irq].level = 0 | |
56 | #define GIC_TEST_LEVEL(irq) s->irq_state[irq].level | |
57 | #define GIC_SET_TRIGGER(irq) s->irq_state[irq].trigger = 1 | |
58 | #define GIC_CLEAR_TRIGGER(irq) s->irq_state[irq].trigger = 0 | |
59 | #define GIC_TEST_TRIGGER(irq) s->irq_state[irq].trigger | |
60 | ||
61 | typedef struct gic_state | |
62 | { | |
e69954b9 | 63 | uint32_t base; |
d537cf6c | 64 | qemu_irq parent_irq; |
e69954b9 PB |
65 | int enabled; |
66 | int cpu_enabled; | |
67 | ||
68 | gic_irq_state irq_state[GIC_NIRQ]; | |
69 | int irq_target[GIC_NIRQ]; | |
70 | int priority[GIC_NIRQ]; | |
71 | int last_active[GIC_NIRQ]; | |
72 | ||
73 | int priority_mask; | |
74 | int running_irq; | |
75 | int running_priority; | |
76 | int current_pending; | |
77 | } gic_state; | |
78 | ||
79 | /* TODO: Many places that call this routine could be optimized. */ | |
80 | /* Update interrupt status after enabled or pending bits have been changed. */ | |
81 | static void gic_update(gic_state *s) | |
82 | { | |
83 | int best_irq; | |
84 | int best_prio; | |
85 | int irq; | |
86 | ||
87 | s->current_pending = 1023; | |
88 | if (!s->enabled || !s->cpu_enabled) { | |
d537cf6c | 89 | qemu_irq_lower(s->parent_irq); |
e69954b9 PB |
90 | return; |
91 | } | |
92 | best_prio = 0x100; | |
93 | best_irq = 1023; | |
94 | for (irq = 0; irq < 96; irq++) { | |
95 | if (GIC_TEST_ENABLED(irq) && GIC_TEST_PENDING(irq)) { | |
96 | if (s->priority[irq] < best_prio) { | |
97 | best_prio = s->priority[irq]; | |
98 | best_irq = irq; | |
99 | } | |
100 | } | |
101 | } | |
102 | if (best_prio > s->priority_mask) { | |
d537cf6c | 103 | qemu_irq_lower(s->parent_irq); |
e69954b9 PB |
104 | } else { |
105 | s->current_pending = best_irq; | |
106 | if (best_prio < s->running_priority) { | |
107 | DPRINTF("Raised pending IRQ %d\n", best_irq); | |
d537cf6c | 108 | qemu_irq_raise(s->parent_irq); |
e69954b9 PB |
109 | } |
110 | } | |
111 | } | |
112 | ||
113 | static void gic_set_irq(void *opaque, int irq, int level) | |
114 | { | |
115 | gic_state *s = (gic_state *)opaque; | |
116 | /* The first external input line is internal interrupt 32. */ | |
117 | irq += 32; | |
5fafdf24 | 118 | if (level == GIC_TEST_LEVEL(irq)) |
e69954b9 PB |
119 | return; |
120 | ||
121 | if (level) { | |
122 | GIC_SET_LEVEL(irq); | |
123 | if (GIC_TEST_TRIGGER(irq) || GIC_TEST_ENABLED(irq)) { | |
124 | DPRINTF("Set %d pending\n", irq); | |
125 | GIC_SET_PENDING(irq); | |
126 | } | |
127 | } else { | |
128 | GIC_CLEAR_LEVEL(irq); | |
129 | } | |
130 | gic_update(s); | |
131 | } | |
132 | ||
133 | static void gic_set_running_irq(gic_state *s, int irq) | |
134 | { | |
135 | s->running_irq = irq; | |
df628ff1 PB |
136 | if (irq == 1023) |
137 | s->running_priority = 0x100; | |
138 | else | |
139 | s->running_priority = s->priority[irq]; | |
e69954b9 PB |
140 | gic_update(s); |
141 | } | |
142 | ||
143 | static uint32_t gic_acknowledge_irq(gic_state *s) | |
144 | { | |
145 | int new_irq; | |
146 | new_irq = s->current_pending; | |
147 | if (new_irq == 1023 || s->priority[new_irq] >= s->running_priority) { | |
148 | DPRINTF("ACK no pending IRQ\n"); | |
149 | return 1023; | |
150 | } | |
d537cf6c | 151 | qemu_irq_lower(s->parent_irq); |
e69954b9 PB |
152 | s->last_active[new_irq] = s->running_irq; |
153 | /* For level triggered interrupts we clear the pending bit while | |
154 | the interrupt is active. */ | |
155 | GIC_CLEAR_PENDING(new_irq); | |
156 | gic_set_running_irq(s, new_irq); | |
157 | DPRINTF("ACK %d\n", new_irq); | |
158 | return new_irq; | |
159 | } | |
160 | ||
161 | static void gic_complete_irq(gic_state * s, int irq) | |
162 | { | |
163 | int update = 0; | |
df628ff1 | 164 | DPRINTF("EOI %d\n", irq); |
e69954b9 PB |
165 | if (s->running_irq == 1023) |
166 | return; /* No active IRQ. */ | |
167 | if (irq != 1023) { | |
168 | /* Mark level triggered interrupts as pending if they are still | |
169 | raised. */ | |
170 | if (!GIC_TEST_TRIGGER(irq) && GIC_TEST_ENABLED(irq) | |
171 | && GIC_TEST_LEVEL(irq)) { | |
172 | GIC_SET_PENDING(irq); | |
173 | update = 1; | |
174 | } | |
175 | } | |
176 | if (irq != s->running_irq) { | |
177 | /* Complete an IRQ that is not currently running. */ | |
178 | int tmp = s->running_irq; | |
179 | while (s->last_active[tmp] != 1023) { | |
180 | if (s->last_active[tmp] == irq) { | |
181 | s->last_active[tmp] = s->last_active[irq]; | |
182 | break; | |
183 | } | |
184 | tmp = s->last_active[tmp]; | |
185 | } | |
186 | if (update) { | |
187 | gic_update(s); | |
188 | } | |
189 | } else { | |
190 | /* Complete the current running IRQ. */ | |
191 | gic_set_running_irq(s, s->last_active[s->running_irq]); | |
192 | } | |
193 | } | |
194 | ||
195 | static uint32_t gic_dist_readb(void *opaque, target_phys_addr_t offset) | |
196 | { | |
197 | gic_state *s = (gic_state *)opaque; | |
198 | uint32_t res; | |
199 | int irq; | |
200 | int i; | |
201 | ||
202 | offset -= s->base + 0x1000; | |
203 | if (offset < 0x100) { | |
204 | if (offset == 0) | |
205 | return s->enabled; | |
206 | if (offset == 4) | |
207 | return (GIC_NIRQ / 32) - 1; | |
208 | if (offset < 0x08) | |
209 | return 0; | |
210 | goto bad_reg; | |
211 | } else if (offset < 0x200) { | |
212 | /* Interrupt Set/Clear Enable. */ | |
213 | if (offset < 0x180) | |
214 | irq = (offset - 0x100) * 8; | |
215 | else | |
216 | irq = (offset - 0x180) * 8; | |
217 | if (irq >= GIC_NIRQ) | |
218 | goto bad_reg; | |
219 | res = 0; | |
220 | for (i = 0; i < 8; i++) { | |
221 | if (GIC_TEST_ENABLED(irq + i)) { | |
222 | res |= (1 << i); | |
223 | } | |
224 | } | |
225 | } else if (offset < 0x300) { | |
226 | /* Interrupt Set/Clear Pending. */ | |
227 | if (offset < 0x280) | |
228 | irq = (offset - 0x200) * 8; | |
229 | else | |
230 | irq = (offset - 0x280) * 8; | |
231 | if (irq >= GIC_NIRQ) | |
232 | goto bad_reg; | |
233 | res = 0; | |
234 | for (i = 0; i < 8; i++) { | |
235 | if (GIC_TEST_PENDING(irq + i)) { | |
236 | res |= (1 << i); | |
237 | } | |
238 | } | |
239 | } else if (offset < 0x400) { | |
240 | /* Interrupt Active. */ | |
241 | irq = (offset - 0x300) * 8; | |
242 | if (irq >= GIC_NIRQ) | |
243 | goto bad_reg; | |
244 | res = 0; | |
245 | for (i = 0; i < 8; i++) { | |
246 | if (GIC_TEST_ACTIVE(irq + i)) { | |
247 | res |= (1 << i); | |
248 | } | |
249 | } | |
250 | } else if (offset < 0x800) { | |
251 | /* Interrupt Priority. */ | |
252 | irq = offset - 0x400; | |
253 | if (irq >= GIC_NIRQ) | |
254 | goto bad_reg; | |
255 | res = s->priority[irq]; | |
256 | } else if (offset < 0xc00) { | |
257 | /* Interrupt CPU Target. */ | |
258 | irq = offset - 0x800; | |
259 | if (irq >= GIC_NIRQ) | |
260 | goto bad_reg; | |
261 | res = s->irq_target[irq]; | |
262 | } else if (offset < 0xf00) { | |
263 | /* Interrupt Configuration. */ | |
264 | irq = (offset - 0xc00) * 2; | |
265 | if (irq >= GIC_NIRQ) | |
266 | goto bad_reg; | |
267 | res = 0; | |
268 | for (i = 0; i < 4; i++) { | |
269 | if (GIC_TEST_MODEL(irq + i)) | |
270 | res |= (1 << (i * 2)); | |
271 | if (GIC_TEST_TRIGGER(irq + i)) | |
272 | res |= (2 << (i * 2)); | |
273 | } | |
274 | } else if (offset < 0xfe0) { | |
275 | goto bad_reg; | |
276 | } else /* offset >= 0xfe0 */ { | |
277 | if (offset & 3) { | |
278 | res = 0; | |
279 | } else { | |
280 | res = gic_id[(offset - 0xfe0) >> 2]; | |
281 | } | |
282 | } | |
283 | return res; | |
284 | bad_reg: | |
285 | cpu_abort (cpu_single_env, "gic_dist_readb: Bad offset %x\n", offset); | |
286 | return 0; | |
287 | } | |
288 | ||
289 | static uint32_t gic_dist_readw(void *opaque, target_phys_addr_t offset) | |
290 | { | |
291 | uint32_t val; | |
292 | val = gic_dist_readb(opaque, offset); | |
293 | val |= gic_dist_readb(opaque, offset + 1) << 8; | |
294 | return val; | |
295 | } | |
296 | ||
297 | static uint32_t gic_dist_readl(void *opaque, target_phys_addr_t offset) | |
298 | { | |
299 | uint32_t val; | |
300 | val = gic_dist_readw(opaque, offset); | |
301 | val |= gic_dist_readw(opaque, offset + 2) << 16; | |
302 | return val; | |
303 | } | |
304 | ||
305 | static void gic_dist_writeb(void *opaque, target_phys_addr_t offset, | |
306 | uint32_t value) | |
307 | { | |
308 | gic_state *s = (gic_state *)opaque; | |
309 | int irq; | |
310 | int i; | |
311 | ||
312 | offset -= s->base + 0x1000; | |
313 | if (offset < 0x100) { | |
314 | if (offset == 0) { | |
315 | s->enabled = (value & 1); | |
316 | DPRINTF("Distribution %sabled\n", s->enabled ? "En" : "Dis"); | |
317 | } else if (offset < 4) { | |
318 | /* ignored. */ | |
319 | } else { | |
320 | goto bad_reg; | |
321 | } | |
322 | } else if (offset < 0x180) { | |
323 | /* Interrupt Set Enable. */ | |
324 | irq = (offset - 0x100) * 8; | |
325 | if (irq >= GIC_NIRQ) | |
326 | goto bad_reg; | |
327 | for (i = 0; i < 8; i++) { | |
328 | if (value & (1 << i)) { | |
329 | if (!GIC_TEST_ENABLED(irq + i)) | |
330 | DPRINTF("Enabled IRQ %d\n", irq + i); | |
331 | GIC_SET_ENABLED(irq + i); | |
332 | /* If a raised level triggered IRQ enabled then mark | |
333 | is as pending. */ | |
334 | if (GIC_TEST_LEVEL(irq + i) && !GIC_TEST_TRIGGER(irq + i)) | |
335 | GIC_SET_PENDING(irq + i); | |
336 | } | |
337 | } | |
338 | } else if (offset < 0x200) { | |
339 | /* Interrupt Clear Enable. */ | |
340 | irq = (offset - 0x180) * 8; | |
341 | if (irq >= GIC_NIRQ) | |
342 | goto bad_reg; | |
343 | for (i = 0; i < 8; i++) { | |
344 | if (value & (1 << i)) { | |
345 | if (GIC_TEST_ENABLED(irq + i)) | |
346 | DPRINTF("Disabled IRQ %d\n", irq + i); | |
347 | GIC_CLEAR_ENABLED(irq + i); | |
348 | } | |
349 | } | |
350 | } else if (offset < 0x280) { | |
351 | /* Interrupt Set Pending. */ | |
352 | irq = (offset - 0x200) * 8; | |
353 | if (irq >= GIC_NIRQ) | |
354 | goto bad_reg; | |
355 | for (i = 0; i < 8; i++) { | |
356 | if (value & (1 << i)) { | |
357 | GIC_SET_PENDING(irq + i); | |
358 | } | |
359 | } | |
360 | } else if (offset < 0x300) { | |
361 | /* Interrupt Clear Pending. */ | |
362 | irq = (offset - 0x280) * 8; | |
363 | if (irq >= GIC_NIRQ) | |
364 | goto bad_reg; | |
365 | for (i = 0; i < 8; i++) { | |
366 | if (value & (1 << i)) { | |
367 | GIC_CLEAR_PENDING(irq + i); | |
368 | } | |
369 | } | |
370 | } else if (offset < 0x400) { | |
371 | /* Interrupt Active. */ | |
372 | goto bad_reg; | |
373 | } else if (offset < 0x800) { | |
374 | /* Interrupt Priority. */ | |
375 | irq = offset - 0x400; | |
376 | if (irq >= GIC_NIRQ) | |
377 | goto bad_reg; | |
378 | s->priority[irq] = value; | |
379 | } else if (offset < 0xc00) { | |
380 | /* Interrupt CPU Target. */ | |
381 | irq = offset - 0x800; | |
382 | if (irq >= GIC_NIRQ) | |
383 | goto bad_reg; | |
384 | s->irq_target[irq] = value; | |
385 | } else if (offset < 0xf00) { | |
386 | /* Interrupt Configuration. */ | |
326199c2 | 387 | irq = (offset - 0xc00) * 4; |
e69954b9 PB |
388 | if (irq >= GIC_NIRQ) |
389 | goto bad_reg; | |
390 | for (i = 0; i < 4; i++) { | |
391 | if (value & (1 << (i * 2))) { | |
392 | GIC_SET_MODEL(irq + i); | |
393 | } else { | |
394 | GIC_CLEAR_MODEL(irq + i); | |
395 | } | |
396 | if (value & (2 << (i * 2))) { | |
397 | GIC_SET_TRIGGER(irq + i); | |
398 | } else { | |
399 | GIC_CLEAR_TRIGGER(irq + i); | |
400 | } | |
401 | } | |
402 | } else { | |
403 | /* 0xf00 is only handled for word writes. */ | |
404 | goto bad_reg; | |
405 | } | |
406 | gic_update(s); | |
407 | return; | |
408 | bad_reg: | |
409 | cpu_abort (cpu_single_env, "gic_dist_writeb: Bad offset %x\n", offset); | |
410 | } | |
411 | ||
412 | static void gic_dist_writew(void *opaque, target_phys_addr_t offset, | |
413 | uint32_t value) | |
414 | { | |
415 | gic_state *s = (gic_state *)opaque; | |
416 | if (offset - s->base == 0xf00) { | |
417 | GIC_SET_PENDING(value & 0x3ff); | |
418 | gic_update(s); | |
419 | return; | |
420 | } | |
421 | gic_dist_writeb(opaque, offset, value & 0xff); | |
422 | gic_dist_writeb(opaque, offset + 1, value >> 8); | |
423 | } | |
424 | ||
425 | static void gic_dist_writel(void *opaque, target_phys_addr_t offset, | |
426 | uint32_t value) | |
427 | { | |
428 | gic_dist_writew(opaque, offset, value & 0xffff); | |
429 | gic_dist_writew(opaque, offset + 2, value >> 16); | |
430 | } | |
431 | ||
432 | static CPUReadMemoryFunc *gic_dist_readfn[] = { | |
433 | gic_dist_readb, | |
434 | gic_dist_readw, | |
435 | gic_dist_readl | |
436 | }; | |
437 | ||
438 | static CPUWriteMemoryFunc *gic_dist_writefn[] = { | |
439 | gic_dist_writeb, | |
440 | gic_dist_writew, | |
441 | gic_dist_writel | |
442 | }; | |
443 | ||
444 | static uint32_t gic_cpu_read(void *opaque, target_phys_addr_t offset) | |
445 | { | |
446 | gic_state *s = (gic_state *)opaque; | |
447 | offset -= s->base; | |
448 | switch (offset) { | |
449 | case 0x00: /* Control */ | |
450 | return s->cpu_enabled; | |
451 | case 0x04: /* Priority mask */ | |
452 | return s->priority_mask; | |
453 | case 0x08: /* Binary Point */ | |
454 | /* ??? Not implemented. */ | |
455 | return 0; | |
456 | case 0x0c: /* Acknowledge */ | |
457 | return gic_acknowledge_irq(s); | |
458 | case 0x14: /* Runing Priority */ | |
459 | return s->running_priority; | |
460 | case 0x18: /* Highest Pending Interrupt */ | |
461 | return s->current_pending; | |
462 | default: | |
bea6030d | 463 | cpu_abort (cpu_single_env, "gic_cpu_read: Bad offset %x\n", offset); |
e69954b9 PB |
464 | return 0; |
465 | } | |
466 | } | |
467 | ||
468 | static void gic_cpu_write(void *opaque, target_phys_addr_t offset, | |
469 | uint32_t value) | |
470 | { | |
471 | gic_state *s = (gic_state *)opaque; | |
472 | offset -= s->base; | |
473 | switch (offset) { | |
474 | case 0x00: /* Control */ | |
475 | s->cpu_enabled = (value & 1); | |
476 | DPRINTF("CPU %sabled\n", s->cpu_enabled ? "En" : "Dis"); | |
477 | break; | |
478 | case 0x04: /* Priority mask */ | |
479 | s->priority_mask = (value & 0x3ff); | |
480 | break; | |
481 | case 0x08: /* Binary Point */ | |
482 | /* ??? Not implemented. */ | |
483 | break; | |
484 | case 0x10: /* End Of Interrupt */ | |
485 | return gic_complete_irq(s, value & 0x3ff); | |
486 | default: | |
bea6030d | 487 | cpu_abort (cpu_single_env, "gic_cpu_write: Bad offset %x\n", offset); |
e69954b9 PB |
488 | return; |
489 | } | |
490 | gic_update(s); | |
491 | } | |
492 | ||
493 | static CPUReadMemoryFunc *gic_cpu_readfn[] = { | |
494 | gic_cpu_read, | |
495 | gic_cpu_read, | |
496 | gic_cpu_read | |
497 | }; | |
498 | ||
499 | static CPUWriteMemoryFunc *gic_cpu_writefn[] = { | |
500 | gic_cpu_write, | |
501 | gic_cpu_write, | |
502 | gic_cpu_write | |
503 | }; | |
504 | ||
505 | static void gic_reset(gic_state *s) | |
506 | { | |
507 | int i; | |
508 | memset(s->irq_state, 0, GIC_NIRQ * sizeof(gic_irq_state)); | |
509 | s->priority_mask = 0xf0; | |
510 | s->current_pending = 1023; | |
511 | s->running_irq = 1023; | |
512 | s->running_priority = 0x100; | |
513 | for (i = 0; i < 15; i++) { | |
514 | GIC_SET_ENABLED(i); | |
515 | GIC_SET_TRIGGER(i); | |
516 | } | |
517 | s->enabled = 0; | |
518 | s->cpu_enabled = 0; | |
519 | } | |
520 | ||
d537cf6c | 521 | qemu_irq *arm_gic_init(uint32_t base, qemu_irq parent_irq) |
e69954b9 PB |
522 | { |
523 | gic_state *s; | |
d537cf6c | 524 | qemu_irq *qi; |
e69954b9 PB |
525 | int iomemtype; |
526 | ||
527 | s = (gic_state *)qemu_mallocz(sizeof(gic_state)); | |
528 | if (!s) | |
529 | return NULL; | |
d537cf6c | 530 | qi = qemu_allocate_irqs(gic_set_irq, s, GIC_NIRQ); |
e69954b9 PB |
531 | s->parent_irq = parent_irq; |
532 | if (base != 0xffffffff) { | |
533 | iomemtype = cpu_register_io_memory(0, gic_cpu_readfn, | |
534 | gic_cpu_writefn, s); | |
187337f8 | 535 | cpu_register_physical_memory(base, 0x00001000, iomemtype); |
e69954b9 PB |
536 | iomemtype = cpu_register_io_memory(0, gic_dist_readfn, |
537 | gic_dist_writefn, s); | |
187337f8 | 538 | cpu_register_physical_memory(base + 0x1000, 0x00001000, iomemtype); |
e69954b9 PB |
539 | s->base = base; |
540 | } else { | |
541 | s->base = 0; | |
542 | } | |
543 | gic_reset(s); | |
d537cf6c | 544 | return qi; |
e69954b9 | 545 | } |