xref: /qemu/hw/intc/arm_gicv3.c (revision 31164ebf08d87b59c570af5b2c80e91940a70968)
156992670SShlomo Pongratz /*
2a8a55467SPhilippe Mathieu-Daudé  * ARM Generic Interrupt Controller v3 (emulation)
356992670SShlomo Pongratz  *
456992670SShlomo Pongratz  * Copyright (c) 2015 Huawei.
556992670SShlomo Pongratz  * Copyright (c) 2016 Linaro Limited
656992670SShlomo Pongratz  * Written by Shlomo Pongratz, Peter Maydell
756992670SShlomo Pongratz  *
856992670SShlomo Pongratz  * This code is licensed under the GPL, version 2 or (at your option)
956992670SShlomo Pongratz  * any later version.
1056992670SShlomo Pongratz  */
1156992670SShlomo Pongratz 
1256992670SShlomo Pongratz /* This file contains implementation code for an interrupt controller
1356992670SShlomo Pongratz  * which implements the GICv3 architecture. Specifically this is where
1456992670SShlomo Pongratz  * the device class itself and the functions for handling interrupts
1556992670SShlomo Pongratz  * coming in and going out live.
1656992670SShlomo Pongratz  */
1756992670SShlomo Pongratz 
1856992670SShlomo Pongratz #include "qemu/osdep.h"
1956992670SShlomo Pongratz #include "qapi/error.h"
200b8fa32fSMarkus Armbruster #include "qemu/module.h"
2156992670SShlomo Pongratz #include "hw/intc/arm_gicv3.h"
2256992670SShlomo Pongratz #include "gicv3_internal.h"
2356992670SShlomo Pongratz 
24ce187c3cSPeter Maydell static bool irqbetter(GICv3CPUState *cs, int irq, uint8_t prio)
25ce187c3cSPeter Maydell {
26ce187c3cSPeter Maydell     /* Return true if this IRQ at this priority should take
27ce187c3cSPeter Maydell      * precedence over the current recorded highest priority
28ce187c3cSPeter Maydell      * pending interrupt for this CPU. We also return true if
29ce187c3cSPeter Maydell      * the current recorded highest priority pending interrupt
30ce187c3cSPeter Maydell      * is the same as this one (a property which the calling code
31ce187c3cSPeter Maydell      * relies on).
32ce187c3cSPeter Maydell      */
33ce187c3cSPeter Maydell     if (prio < cs->hppi.prio) {
34ce187c3cSPeter Maydell         return true;
35ce187c3cSPeter Maydell     }
36ce187c3cSPeter Maydell     /* If multiple pending interrupts have the same priority then it is an
37ce187c3cSPeter Maydell      * IMPDEF choice which of them to signal to the CPU. We choose to
38ce187c3cSPeter Maydell      * signal the one with the lowest interrupt number.
39ce187c3cSPeter Maydell      */
40ce187c3cSPeter Maydell     if (prio == cs->hppi.prio && irq <= cs->hppi.irq) {
41ce187c3cSPeter Maydell         return true;
42ce187c3cSPeter Maydell     }
43ce187c3cSPeter Maydell     return false;
44ce187c3cSPeter Maydell }
45ce187c3cSPeter Maydell 
46ce187c3cSPeter Maydell static uint32_t gicd_int_pending(GICv3State *s, int irq)
47ce187c3cSPeter Maydell {
48ce187c3cSPeter Maydell     /* Recalculate which distributor interrupts are actually pending
49ce187c3cSPeter Maydell      * in the group of 32 interrupts starting at irq (which should be a multiple
50ce187c3cSPeter Maydell      * of 32), and return a 32-bit integer which has a bit set for each
51ce187c3cSPeter Maydell      * interrupt that is eligible to be signaled to the CPU interface.
52ce187c3cSPeter Maydell      *
53ce187c3cSPeter Maydell      * An interrupt is pending if:
54ce187c3cSPeter Maydell      *  + the PENDING latch is set OR it is level triggered and the input is 1
55ce187c3cSPeter Maydell      *  + its ENABLE bit is set
56ce187c3cSPeter Maydell      *  + the GICD enable bit for its group is set
570bfa0259SPeter Maydell      *  + its ACTIVE bit is not set (otherwise it would be Active+Pending)
58ce187c3cSPeter Maydell      * Conveniently we can bulk-calculate this with bitwise operations.
59ce187c3cSPeter Maydell      */
60ce187c3cSPeter Maydell     uint32_t pend, grpmask;
61ce187c3cSPeter Maydell     uint32_t pending = *gic_bmp_ptr32(s->pending, irq);
62ce187c3cSPeter Maydell     uint32_t edge_trigger = *gic_bmp_ptr32(s->edge_trigger, irq);
63ce187c3cSPeter Maydell     uint32_t level = *gic_bmp_ptr32(s->level, irq);
64ce187c3cSPeter Maydell     uint32_t group = *gic_bmp_ptr32(s->group, irq);
65ce187c3cSPeter Maydell     uint32_t grpmod = *gic_bmp_ptr32(s->grpmod, irq);
66ce187c3cSPeter Maydell     uint32_t enable = *gic_bmp_ptr32(s->enabled, irq);
670bfa0259SPeter Maydell     uint32_t active = *gic_bmp_ptr32(s->active, irq);
68ce187c3cSPeter Maydell 
69ce187c3cSPeter Maydell     pend = pending | (~edge_trigger & level);
70ce187c3cSPeter Maydell     pend &= enable;
710bfa0259SPeter Maydell     pend &= ~active;
72ce187c3cSPeter Maydell 
73ce187c3cSPeter Maydell     if (s->gicd_ctlr & GICD_CTLR_DS) {
74ce187c3cSPeter Maydell         grpmod = 0;
75ce187c3cSPeter Maydell     }
76ce187c3cSPeter Maydell 
77ce187c3cSPeter Maydell     grpmask = 0;
78ce187c3cSPeter Maydell     if (s->gicd_ctlr & GICD_CTLR_EN_GRP1NS) {
79ce187c3cSPeter Maydell         grpmask |= group;
80ce187c3cSPeter Maydell     }
81ce187c3cSPeter Maydell     if (s->gicd_ctlr & GICD_CTLR_EN_GRP1S) {
82ce187c3cSPeter Maydell         grpmask |= (~group & grpmod);
83ce187c3cSPeter Maydell     }
84ce187c3cSPeter Maydell     if (s->gicd_ctlr & GICD_CTLR_EN_GRP0) {
85ce187c3cSPeter Maydell         grpmask |= (~group & ~grpmod);
86ce187c3cSPeter Maydell     }
87ce187c3cSPeter Maydell     pend &= grpmask;
88ce187c3cSPeter Maydell 
89ce187c3cSPeter Maydell     return pend;
90ce187c3cSPeter Maydell }
91ce187c3cSPeter Maydell 
92ce187c3cSPeter Maydell static uint32_t gicr_int_pending(GICv3CPUState *cs)
93ce187c3cSPeter Maydell {
94ce187c3cSPeter Maydell     /* Recalculate which redistributor interrupts are actually pending,
95ce187c3cSPeter Maydell      * and return a 32-bit integer which has a bit set for each interrupt
96ce187c3cSPeter Maydell      * that is eligible to be signaled to the CPU interface.
97ce187c3cSPeter Maydell      *
98ce187c3cSPeter Maydell      * An interrupt is pending if:
99ce187c3cSPeter Maydell      *  + the PENDING latch is set OR it is level triggered and the input is 1
100ce187c3cSPeter Maydell      *  + its ENABLE bit is set
101ce187c3cSPeter Maydell      *  + the GICD enable bit for its group is set
1020bfa0259SPeter Maydell      *  + its ACTIVE bit is not set (otherwise it would be Active+Pending)
103ce187c3cSPeter Maydell      * Conveniently we can bulk-calculate this with bitwise operations.
104ce187c3cSPeter Maydell      */
105ce187c3cSPeter Maydell     uint32_t pend, grpmask, grpmod;
106ce187c3cSPeter Maydell 
107ce187c3cSPeter Maydell     pend = cs->gicr_ipendr0 | (~cs->edge_trigger & cs->level);
108ce187c3cSPeter Maydell     pend &= cs->gicr_ienabler0;
1090bfa0259SPeter Maydell     pend &= ~cs->gicr_iactiver0;
110ce187c3cSPeter Maydell 
111ce187c3cSPeter Maydell     if (cs->gic->gicd_ctlr & GICD_CTLR_DS) {
112ce187c3cSPeter Maydell         grpmod = 0;
113ce187c3cSPeter Maydell     } else {
114ce187c3cSPeter Maydell         grpmod = cs->gicr_igrpmodr0;
115ce187c3cSPeter Maydell     }
116ce187c3cSPeter Maydell 
117ce187c3cSPeter Maydell     grpmask = 0;
118ce187c3cSPeter Maydell     if (cs->gic->gicd_ctlr & GICD_CTLR_EN_GRP1NS) {
119ce187c3cSPeter Maydell         grpmask |= cs->gicr_igroupr0;
120ce187c3cSPeter Maydell     }
121ce187c3cSPeter Maydell     if (cs->gic->gicd_ctlr & GICD_CTLR_EN_GRP1S) {
122ce187c3cSPeter Maydell         grpmask |= (~cs->gicr_igroupr0 & grpmod);
123ce187c3cSPeter Maydell     }
124ce187c3cSPeter Maydell     if (cs->gic->gicd_ctlr & GICD_CTLR_EN_GRP0) {
125ce187c3cSPeter Maydell         grpmask |= (~cs->gicr_igroupr0 & ~grpmod);
126ce187c3cSPeter Maydell     }
127ce187c3cSPeter Maydell     pend &= grpmask;
128ce187c3cSPeter Maydell 
129ce187c3cSPeter Maydell     return pend;
130ce187c3cSPeter Maydell }
131ce187c3cSPeter Maydell 
132ce187c3cSPeter Maydell /* Update the interrupt status after state in a redistributor
133ce187c3cSPeter Maydell  * or CPU interface has changed, but don't tell the CPU i/f.
134ce187c3cSPeter Maydell  */
135ce187c3cSPeter Maydell static void gicv3_redist_update_noirqset(GICv3CPUState *cs)
136ce187c3cSPeter Maydell {
137ce187c3cSPeter Maydell     /* Find the highest priority pending interrupt among the
138ce187c3cSPeter Maydell      * redistributor interrupts (SGIs and PPIs).
139ce187c3cSPeter Maydell      */
140ce187c3cSPeter Maydell     bool seenbetter = false;
141ce187c3cSPeter Maydell     uint8_t prio;
142ce187c3cSPeter Maydell     int i;
143ce187c3cSPeter Maydell     uint32_t pend;
144ce187c3cSPeter Maydell 
145ce187c3cSPeter Maydell     /* Find out which redistributor interrupts are eligible to be
146ce187c3cSPeter Maydell      * signaled to the CPU interface.
147ce187c3cSPeter Maydell      */
148ce187c3cSPeter Maydell     pend = gicr_int_pending(cs);
149ce187c3cSPeter Maydell 
150ce187c3cSPeter Maydell     if (pend) {
151ce187c3cSPeter Maydell         for (i = 0; i < GIC_INTERNAL; i++) {
152ce187c3cSPeter Maydell             if (!(pend & (1 << i))) {
153ce187c3cSPeter Maydell                 continue;
154ce187c3cSPeter Maydell             }
155ce187c3cSPeter Maydell             prio = cs->gicr_ipriorityr[i];
156ce187c3cSPeter Maydell             if (irqbetter(cs, i, prio)) {
157ce187c3cSPeter Maydell                 cs->hppi.irq = i;
158ce187c3cSPeter Maydell                 cs->hppi.prio = prio;
159ce187c3cSPeter Maydell                 seenbetter = true;
160ce187c3cSPeter Maydell             }
161ce187c3cSPeter Maydell         }
162ce187c3cSPeter Maydell     }
163ce187c3cSPeter Maydell 
164ce187c3cSPeter Maydell     if (seenbetter) {
165ce187c3cSPeter Maydell         cs->hppi.grp = gicv3_irq_group(cs->gic, cs, cs->hppi.irq);
166ce187c3cSPeter Maydell     }
167ce187c3cSPeter Maydell 
16817fb5e36SShashi Mallela     if ((cs->gicr_ctlr & GICR_CTLR_ENABLE_LPIS) && cs->gic->lpi_enable &&
16970309077SPeter Maydell         (cs->gic->gicd_ctlr & GICD_CTLR_EN_GRP1NS) &&
17017fb5e36SShashi Mallela         (cs->hpplpi.prio != 0xff)) {
17117fb5e36SShashi Mallela         if (irqbetter(cs, cs->hpplpi.irq, cs->hpplpi.prio)) {
17217fb5e36SShashi Mallela             cs->hppi.irq = cs->hpplpi.irq;
17317fb5e36SShashi Mallela             cs->hppi.prio = cs->hpplpi.prio;
17417fb5e36SShashi Mallela             cs->hppi.grp = cs->hpplpi.grp;
17517fb5e36SShashi Mallela             seenbetter = true;
17617fb5e36SShashi Mallela         }
17717fb5e36SShashi Mallela     }
17817fb5e36SShashi Mallela 
179ce187c3cSPeter Maydell     /* If the best interrupt we just found would preempt whatever
180ce187c3cSPeter Maydell      * was the previous best interrupt before this update, then
181ce187c3cSPeter Maydell      * we know it's definitely the best one now.
182ce187c3cSPeter Maydell      * If we didn't find an interrupt that would preempt the previous
183ce187c3cSPeter Maydell      * best, and the previous best is outside our range (or there was no
184ce187c3cSPeter Maydell      * previous pending interrupt at all), then that is still valid, and
185ce187c3cSPeter Maydell      * we leave it as the best.
186ce187c3cSPeter Maydell      * Otherwise, we need to do a full update (because the previous best
187ce187c3cSPeter Maydell      * interrupt has reduced in priority and any other interrupt could
188ce187c3cSPeter Maydell      * now be the new best one).
189ce187c3cSPeter Maydell      */
190101f27f3SPeter Maydell     if (!seenbetter && cs->hppi.prio != 0xff &&
191101f27f3SPeter Maydell         (cs->hppi.irq < GIC_INTERNAL ||
192101f27f3SPeter Maydell          cs->hppi.irq >= GICV3_LPI_INTID_START)) {
193ce187c3cSPeter Maydell         gicv3_full_update_noirqset(cs->gic);
194ce187c3cSPeter Maydell     }
195ce187c3cSPeter Maydell }
196ce187c3cSPeter Maydell 
197ce187c3cSPeter Maydell /* Update the GIC status after state in a redistributor or
198ce187c3cSPeter Maydell  * CPU interface has changed, and inform the CPU i/f of
199ce187c3cSPeter Maydell  * its new highest priority pending interrupt.
200ce187c3cSPeter Maydell  */
201ce187c3cSPeter Maydell void gicv3_redist_update(GICv3CPUState *cs)
202ce187c3cSPeter Maydell {
203ce187c3cSPeter Maydell     gicv3_redist_update_noirqset(cs);
204ce187c3cSPeter Maydell     gicv3_cpuif_update(cs);
205ce187c3cSPeter Maydell }
206ce187c3cSPeter Maydell 
207ce187c3cSPeter Maydell /* Update the GIC status after state in the distributor has
208ce187c3cSPeter Maydell  * changed affecting @len interrupts starting at @start,
209ce187c3cSPeter Maydell  * but don't tell the CPU i/f.
210ce187c3cSPeter Maydell  */
211ce187c3cSPeter Maydell static void gicv3_update_noirqset(GICv3State *s, int start, int len)
212ce187c3cSPeter Maydell {
213ce187c3cSPeter Maydell     int i;
214ce187c3cSPeter Maydell     uint8_t prio;
215ce187c3cSPeter Maydell     uint32_t pend = 0;
216ce187c3cSPeter Maydell 
217ce187c3cSPeter Maydell     assert(start >= GIC_INTERNAL);
218ce187c3cSPeter Maydell     assert(len > 0);
219ce187c3cSPeter Maydell 
220ce187c3cSPeter Maydell     for (i = 0; i < s->num_cpu; i++) {
221ce187c3cSPeter Maydell         s->cpu[i].seenbetter = false;
222ce187c3cSPeter Maydell     }
223ce187c3cSPeter Maydell 
224ce187c3cSPeter Maydell     /* Find the highest priority pending interrupt in this range. */
225ce187c3cSPeter Maydell     for (i = start; i < start + len; i++) {
226ce187c3cSPeter Maydell         GICv3CPUState *cs;
227ce187c3cSPeter Maydell 
228ce187c3cSPeter Maydell         if (i == start || (i & 0x1f) == 0) {
229ce187c3cSPeter Maydell             /* Calculate the next 32 bits worth of pending status */
230ce187c3cSPeter Maydell             pend = gicd_int_pending(s, i & ~0x1f);
231ce187c3cSPeter Maydell         }
232ce187c3cSPeter Maydell 
233ce187c3cSPeter Maydell         if (!(pend & (1 << (i & 0x1f)))) {
234ce187c3cSPeter Maydell             continue;
235ce187c3cSPeter Maydell         }
236ce187c3cSPeter Maydell         cs = s->gicd_irouter_target[i];
237ce187c3cSPeter Maydell         if (!cs) {
238ce187c3cSPeter Maydell             /* Interrupts targeting no implemented CPU should remain pending
239ce187c3cSPeter Maydell              * and not be forwarded to any CPU.
240ce187c3cSPeter Maydell              */
241ce187c3cSPeter Maydell             continue;
242ce187c3cSPeter Maydell         }
243ce187c3cSPeter Maydell         prio = s->gicd_ipriority[i];
244ce187c3cSPeter Maydell         if (irqbetter(cs, i, prio)) {
245ce187c3cSPeter Maydell             cs->hppi.irq = i;
246ce187c3cSPeter Maydell             cs->hppi.prio = prio;
247ce187c3cSPeter Maydell             cs->seenbetter = true;
248ce187c3cSPeter Maydell         }
249ce187c3cSPeter Maydell     }
250ce187c3cSPeter Maydell 
251ce187c3cSPeter Maydell     /* If the best interrupt we just found would preempt whatever
252ce187c3cSPeter Maydell      * was the previous best interrupt before this update, then
253ce187c3cSPeter Maydell      * we know it's definitely the best one now.
254ce187c3cSPeter Maydell      * If we didn't find an interrupt that would preempt the previous
255ce187c3cSPeter Maydell      * best, and the previous best is outside our range (or there was
256ce187c3cSPeter Maydell      * no previous pending interrupt at all), then that
257ce187c3cSPeter Maydell      * is still valid, and we leave it as the best.
258ce187c3cSPeter Maydell      * Otherwise, we need to do a full update (because the previous best
259ce187c3cSPeter Maydell      * interrupt has reduced in priority and any other interrupt could
260ce187c3cSPeter Maydell      * now be the new best one).
261ce187c3cSPeter Maydell      */
262ce187c3cSPeter Maydell     for (i = 0; i < s->num_cpu; i++) {
263ce187c3cSPeter Maydell         GICv3CPUState *cs = &s->cpu[i];
264ce187c3cSPeter Maydell 
265ce187c3cSPeter Maydell         if (cs->seenbetter) {
266ce187c3cSPeter Maydell             cs->hppi.grp = gicv3_irq_group(cs->gic, cs, cs->hppi.irq);
267ce187c3cSPeter Maydell         }
268ce187c3cSPeter Maydell 
269ce187c3cSPeter Maydell         if (!cs->seenbetter && cs->hppi.prio != 0xff &&
270ce187c3cSPeter Maydell             cs->hppi.irq >= start && cs->hppi.irq < start + len) {
271ce187c3cSPeter Maydell             gicv3_full_update_noirqset(s);
272ce187c3cSPeter Maydell             break;
273ce187c3cSPeter Maydell         }
274ce187c3cSPeter Maydell     }
275ce187c3cSPeter Maydell }
276ce187c3cSPeter Maydell 
277ce187c3cSPeter Maydell void gicv3_update(GICv3State *s, int start, int len)
278ce187c3cSPeter Maydell {
279ce187c3cSPeter Maydell     int i;
280ce187c3cSPeter Maydell 
281ce187c3cSPeter Maydell     gicv3_update_noirqset(s, start, len);
282ce187c3cSPeter Maydell     for (i = 0; i < s->num_cpu; i++) {
283ce187c3cSPeter Maydell         gicv3_cpuif_update(&s->cpu[i]);
284ce187c3cSPeter Maydell     }
285ce187c3cSPeter Maydell }
286ce187c3cSPeter Maydell 
287ce187c3cSPeter Maydell void gicv3_full_update_noirqset(GICv3State *s)
288ce187c3cSPeter Maydell {
289ce187c3cSPeter Maydell     /* Completely recalculate the GIC status from scratch, but
290ce187c3cSPeter Maydell      * don't update any outbound IRQ lines.
291ce187c3cSPeter Maydell      */
292ce187c3cSPeter Maydell     int i;
293ce187c3cSPeter Maydell 
294ce187c3cSPeter Maydell     for (i = 0; i < s->num_cpu; i++) {
295ce187c3cSPeter Maydell         s->cpu[i].hppi.prio = 0xff;
296ce187c3cSPeter Maydell     }
297ce187c3cSPeter Maydell 
298ce187c3cSPeter Maydell     /* Note that we can guarantee that these functions will not
299ce187c3cSPeter Maydell      * recursively call back into gicv3_full_update(), because
300ce187c3cSPeter Maydell      * at each point the "previous best" is always outside the
301ce187c3cSPeter Maydell      * range we ask them to update.
302ce187c3cSPeter Maydell      */
303ce187c3cSPeter Maydell     gicv3_update_noirqset(s, GIC_INTERNAL, s->num_irq - GIC_INTERNAL);
304ce187c3cSPeter Maydell 
305ce187c3cSPeter Maydell     for (i = 0; i < s->num_cpu; i++) {
306ce187c3cSPeter Maydell         gicv3_redist_update_noirqset(&s->cpu[i]);
307ce187c3cSPeter Maydell     }
308ce187c3cSPeter Maydell }
309ce187c3cSPeter Maydell 
310ce187c3cSPeter Maydell void gicv3_full_update(GICv3State *s)
311ce187c3cSPeter Maydell {
312ce187c3cSPeter Maydell     /* Completely recalculate the GIC status from scratch, including
313ce187c3cSPeter Maydell      * updating outbound IRQ lines.
314ce187c3cSPeter Maydell      */
315ce187c3cSPeter Maydell     int i;
316ce187c3cSPeter Maydell 
317ce187c3cSPeter Maydell     gicv3_full_update_noirqset(s);
318ce187c3cSPeter Maydell     for (i = 0; i < s->num_cpu; i++) {
319ce187c3cSPeter Maydell         gicv3_cpuif_update(&s->cpu[i]);
320ce187c3cSPeter Maydell     }
321ce187c3cSPeter Maydell }
322ce187c3cSPeter Maydell 
32356992670SShlomo Pongratz /* Process a change in an external IRQ input. */
32456992670SShlomo Pongratz static void gicv3_set_irq(void *opaque, int irq, int level)
32556992670SShlomo Pongratz {
32656992670SShlomo Pongratz     /* Meaning of the 'irq' parameter:
32756992670SShlomo Pongratz      *  [0..N-1] : external interrupts
32856992670SShlomo Pongratz      *  [N..N+31] : PPI (internal) interrupts for CPU 0
32956992670SShlomo Pongratz      *  [N+32..N+63] : PPI (internal interrupts for CPU 1
33056992670SShlomo Pongratz      *  ...
33156992670SShlomo Pongratz      */
332c84428b3SPeter Maydell     GICv3State *s = opaque;
333c84428b3SPeter Maydell 
334c84428b3SPeter Maydell     if (irq < (s->num_irq - GIC_INTERNAL)) {
335c84428b3SPeter Maydell         /* external interrupt (SPI) */
336c84428b3SPeter Maydell         gicv3_dist_set_irq(s, irq + GIC_INTERNAL, level);
337c84428b3SPeter Maydell     } else {
338c84428b3SPeter Maydell         /* per-cpu interrupt (PPI) */
339c84428b3SPeter Maydell         int cpu;
340c84428b3SPeter Maydell 
341c84428b3SPeter Maydell         irq -= (s->num_irq - GIC_INTERNAL);
342c84428b3SPeter Maydell         cpu = irq / GIC_INTERNAL;
343c84428b3SPeter Maydell         irq %= GIC_INTERNAL;
344c84428b3SPeter Maydell         assert(cpu < s->num_cpu);
345c84428b3SPeter Maydell         /* Raising SGIs via this function would be a bug in how the board
346c84428b3SPeter Maydell          * model wires up interrupts.
347c84428b3SPeter Maydell          */
348c84428b3SPeter Maydell         assert(irq >= GIC_NR_SGIS);
349c84428b3SPeter Maydell         gicv3_redist_set_irq(&s->cpu[cpu], irq, level);
350c84428b3SPeter Maydell     }
35156992670SShlomo Pongratz }
35256992670SShlomo Pongratz 
353ce187c3cSPeter Maydell static void arm_gicv3_post_load(GICv3State *s)
354ce187c3cSPeter Maydell {
35517fb5e36SShashi Mallela     int i;
356ce187c3cSPeter Maydell     /* Recalculate our cached idea of the current highest priority
357ce187c3cSPeter Maydell      * pending interrupt, but don't set IRQ or FIQ lines.
358ce187c3cSPeter Maydell      */
35917fb5e36SShashi Mallela     for (i = 0; i < s->num_cpu; i++) {
360101f27f3SPeter Maydell         gicv3_redist_update_lpi_only(&s->cpu[i]);
36117fb5e36SShashi Mallela     }
362ce187c3cSPeter Maydell     gicv3_full_update_noirqset(s);
363ce187c3cSPeter Maydell     /* Repopulate the cache of GICv3CPUState pointers for target CPUs */
364ce187c3cSPeter Maydell     gicv3_cache_all_target_cpustates(s);
365ce187c3cSPeter Maydell }
366ce187c3cSPeter Maydell 
367287c181aSPeter Maydell static const MemoryRegionOps gic_ops[] = {
368287c181aSPeter Maydell     {
369287c181aSPeter Maydell         .read_with_attrs = gicv3_dist_read,
370287c181aSPeter Maydell         .write_with_attrs = gicv3_dist_write,
371287c181aSPeter Maydell         .endianness = DEVICE_NATIVE_ENDIAN,
372*31164ebfSPeter Maydell         .valid.min_access_size = 1,
373*31164ebfSPeter Maydell         .valid.max_access_size = 8,
374*31164ebfSPeter Maydell         .impl.min_access_size = 1,
375*31164ebfSPeter Maydell         .impl.max_access_size = 8,
376287c181aSPeter Maydell     },
377287c181aSPeter Maydell     {
378287c181aSPeter Maydell         .read_with_attrs = gicv3_redist_read,
379287c181aSPeter Maydell         .write_with_attrs = gicv3_redist_write,
380287c181aSPeter Maydell         .endianness = DEVICE_NATIVE_ENDIAN,
381*31164ebfSPeter Maydell         .valid.min_access_size = 1,
382*31164ebfSPeter Maydell         .valid.max_access_size = 8,
383*31164ebfSPeter Maydell         .impl.min_access_size = 1,
384*31164ebfSPeter Maydell         .impl.max_access_size = 8,
385287c181aSPeter Maydell     }
386287c181aSPeter Maydell };
387287c181aSPeter Maydell 
38856992670SShlomo Pongratz static void arm_gic_realize(DeviceState *dev, Error **errp)
38956992670SShlomo Pongratz {
39056992670SShlomo Pongratz     /* Device instance realize function for the GIC sysbus device */
39156992670SShlomo Pongratz     GICv3State *s = ARM_GICV3(dev);
39256992670SShlomo Pongratz     ARMGICv3Class *agc = ARM_GICV3_GET_CLASS(s);
39356992670SShlomo Pongratz     Error *local_err = NULL;
39456992670SShlomo Pongratz 
39556992670SShlomo Pongratz     agc->parent_realize(dev, &local_err);
39656992670SShlomo Pongratz     if (local_err) {
39756992670SShlomo Pongratz         error_propagate(errp, local_err);
39856992670SShlomo Pongratz         return;
39956992670SShlomo Pongratz     }
40056992670SShlomo Pongratz 
40101b5ab8cSPeter Maydell     gicv3_init_irqs_and_mmio(s, gicv3_set_irq, gic_ops);
402359fbe65SPeter Maydell 
403359fbe65SPeter Maydell     gicv3_init_cpuif(s);
40456992670SShlomo Pongratz }
40556992670SShlomo Pongratz 
40656992670SShlomo Pongratz static void arm_gicv3_class_init(ObjectClass *klass, void *data)
40756992670SShlomo Pongratz {
40856992670SShlomo Pongratz     DeviceClass *dc = DEVICE_CLASS(klass);
409ce187c3cSPeter Maydell     ARMGICv3CommonClass *agcc = ARM_GICV3_COMMON_CLASS(klass);
41056992670SShlomo Pongratz     ARMGICv3Class *agc = ARM_GICV3_CLASS(klass);
41156992670SShlomo Pongratz 
412ce187c3cSPeter Maydell     agcc->post_load = arm_gicv3_post_load;
413bf853881SPhilippe Mathieu-Daudé     device_class_set_parent_realize(dc, arm_gic_realize, &agc->parent_realize);
41456992670SShlomo Pongratz }
41556992670SShlomo Pongratz 
41656992670SShlomo Pongratz static const TypeInfo arm_gicv3_info = {
41756992670SShlomo Pongratz     .name = TYPE_ARM_GICV3,
41856992670SShlomo Pongratz     .parent = TYPE_ARM_GICV3_COMMON,
41956992670SShlomo Pongratz     .instance_size = sizeof(GICv3State),
42056992670SShlomo Pongratz     .class_init = arm_gicv3_class_init,
42156992670SShlomo Pongratz     .class_size = sizeof(ARMGICv3Class),
42256992670SShlomo Pongratz };
42356992670SShlomo Pongratz 
42456992670SShlomo Pongratz static void arm_gicv3_register_types(void)
42556992670SShlomo Pongratz {
42656992670SShlomo Pongratz     type_register_static(&arm_gicv3_info);
42756992670SShlomo Pongratz }
42856992670SShlomo Pongratz 
42956992670SShlomo Pongratz type_init(arm_gicv3_register_types)
430