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
irqbetter(GICv3CPUState * cs,int irq,uint8_t prio,bool nmi)24*d89daa89SJinjie Ruan static bool irqbetter(GICv3CPUState *cs, int irq, uint8_t prio, bool nmi)
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 */
33*d89daa89SJinjie Ruan if (prio != cs->hppi.prio) {
34*d89daa89SJinjie Ruan return prio < cs->hppi.prio;
35ce187c3cSPeter Maydell }
36*d89daa89SJinjie Ruan
37*d89daa89SJinjie Ruan /*
38*d89daa89SJinjie Ruan * The same priority IRQ with non-maskable property should signal to
39*d89daa89SJinjie Ruan * the CPU as it have the priority higher than the labelled 0x80 or 0x00.
40*d89daa89SJinjie Ruan */
41*d89daa89SJinjie Ruan if (nmi != cs->hppi.nmi) {
42*d89daa89SJinjie Ruan return nmi;
43*d89daa89SJinjie Ruan }
44*d89daa89SJinjie Ruan
45ce187c3cSPeter Maydell /* If multiple pending interrupts have the same priority then it is an
46ce187c3cSPeter Maydell * IMPDEF choice which of them to signal to the CPU. We choose to
47ce187c3cSPeter Maydell * signal the one with the lowest interrupt number.
48ce187c3cSPeter Maydell */
49*d89daa89SJinjie Ruan if (irq <= cs->hppi.irq) {
50ce187c3cSPeter Maydell return true;
51ce187c3cSPeter Maydell }
52ce187c3cSPeter Maydell return false;
53ce187c3cSPeter Maydell }
54ce187c3cSPeter Maydell
gicd_int_pending(GICv3State * s,int irq)55ce187c3cSPeter Maydell static uint32_t gicd_int_pending(GICv3State *s, int irq)
56ce187c3cSPeter Maydell {
57ce187c3cSPeter Maydell /* Recalculate which distributor interrupts are actually pending
58ce187c3cSPeter Maydell * in the group of 32 interrupts starting at irq (which should be a multiple
59ce187c3cSPeter Maydell * of 32), and return a 32-bit integer which has a bit set for each
60ce187c3cSPeter Maydell * interrupt that is eligible to be signaled to the CPU interface.
61ce187c3cSPeter Maydell *
62ce187c3cSPeter Maydell * An interrupt is pending if:
63ce187c3cSPeter Maydell * + the PENDING latch is set OR it is level triggered and the input is 1
64ce187c3cSPeter Maydell * + its ENABLE bit is set
65ce187c3cSPeter Maydell * + the GICD enable bit for its group is set
660bfa0259SPeter Maydell * + its ACTIVE bit is not set (otherwise it would be Active+Pending)
67ce187c3cSPeter Maydell * Conveniently we can bulk-calculate this with bitwise operations.
68ce187c3cSPeter Maydell */
69ce187c3cSPeter Maydell uint32_t pend, grpmask;
70ce187c3cSPeter Maydell uint32_t pending = *gic_bmp_ptr32(s->pending, irq);
71ce187c3cSPeter Maydell uint32_t edge_trigger = *gic_bmp_ptr32(s->edge_trigger, irq);
72ce187c3cSPeter Maydell uint32_t level = *gic_bmp_ptr32(s->level, irq);
73ce187c3cSPeter Maydell uint32_t group = *gic_bmp_ptr32(s->group, irq);
74ce187c3cSPeter Maydell uint32_t grpmod = *gic_bmp_ptr32(s->grpmod, irq);
75ce187c3cSPeter Maydell uint32_t enable = *gic_bmp_ptr32(s->enabled, irq);
760bfa0259SPeter Maydell uint32_t active = *gic_bmp_ptr32(s->active, irq);
77ce187c3cSPeter Maydell
78ce187c3cSPeter Maydell pend = pending | (~edge_trigger & level);
79ce187c3cSPeter Maydell pend &= enable;
800bfa0259SPeter Maydell pend &= ~active;
81ce187c3cSPeter Maydell
82ce187c3cSPeter Maydell if (s->gicd_ctlr & GICD_CTLR_DS) {
83ce187c3cSPeter Maydell grpmod = 0;
84ce187c3cSPeter Maydell }
85ce187c3cSPeter Maydell
86ce187c3cSPeter Maydell grpmask = 0;
87ce187c3cSPeter Maydell if (s->gicd_ctlr & GICD_CTLR_EN_GRP1NS) {
88ce187c3cSPeter Maydell grpmask |= group;
89ce187c3cSPeter Maydell }
90ce187c3cSPeter Maydell if (s->gicd_ctlr & GICD_CTLR_EN_GRP1S) {
91ce187c3cSPeter Maydell grpmask |= (~group & grpmod);
92ce187c3cSPeter Maydell }
93ce187c3cSPeter Maydell if (s->gicd_ctlr & GICD_CTLR_EN_GRP0) {
94ce187c3cSPeter Maydell grpmask |= (~group & ~grpmod);
95ce187c3cSPeter Maydell }
96ce187c3cSPeter Maydell pend &= grpmask;
97ce187c3cSPeter Maydell
98ce187c3cSPeter Maydell return pend;
99ce187c3cSPeter Maydell }
100ce187c3cSPeter Maydell
gicr_int_pending(GICv3CPUState * cs)101ce187c3cSPeter Maydell static uint32_t gicr_int_pending(GICv3CPUState *cs)
102ce187c3cSPeter Maydell {
103ce187c3cSPeter Maydell /* Recalculate which redistributor interrupts are actually pending,
104ce187c3cSPeter Maydell * and return a 32-bit integer which has a bit set for each interrupt
105ce187c3cSPeter Maydell * that is eligible to be signaled to the CPU interface.
106ce187c3cSPeter Maydell *
107ce187c3cSPeter Maydell * An interrupt is pending if:
108ce187c3cSPeter Maydell * + the PENDING latch is set OR it is level triggered and the input is 1
109ce187c3cSPeter Maydell * + its ENABLE bit is set
110ce187c3cSPeter Maydell * + the GICD enable bit for its group is set
1110bfa0259SPeter Maydell * + its ACTIVE bit is not set (otherwise it would be Active+Pending)
112ce187c3cSPeter Maydell * Conveniently we can bulk-calculate this with bitwise operations.
113ce187c3cSPeter Maydell */
114ce187c3cSPeter Maydell uint32_t pend, grpmask, grpmod;
115ce187c3cSPeter Maydell
116ce187c3cSPeter Maydell pend = cs->gicr_ipendr0 | (~cs->edge_trigger & cs->level);
117ce187c3cSPeter Maydell pend &= cs->gicr_ienabler0;
1180bfa0259SPeter Maydell pend &= ~cs->gicr_iactiver0;
119ce187c3cSPeter Maydell
120ce187c3cSPeter Maydell if (cs->gic->gicd_ctlr & GICD_CTLR_DS) {
121ce187c3cSPeter Maydell grpmod = 0;
122ce187c3cSPeter Maydell } else {
123ce187c3cSPeter Maydell grpmod = cs->gicr_igrpmodr0;
124ce187c3cSPeter Maydell }
125ce187c3cSPeter Maydell
126ce187c3cSPeter Maydell grpmask = 0;
127ce187c3cSPeter Maydell if (cs->gic->gicd_ctlr & GICD_CTLR_EN_GRP1NS) {
128ce187c3cSPeter Maydell grpmask |= cs->gicr_igroupr0;
129ce187c3cSPeter Maydell }
130ce187c3cSPeter Maydell if (cs->gic->gicd_ctlr & GICD_CTLR_EN_GRP1S) {
131ce187c3cSPeter Maydell grpmask |= (~cs->gicr_igroupr0 & grpmod);
132ce187c3cSPeter Maydell }
133ce187c3cSPeter Maydell if (cs->gic->gicd_ctlr & GICD_CTLR_EN_GRP0) {
134ce187c3cSPeter Maydell grpmask |= (~cs->gicr_igroupr0 & ~grpmod);
135ce187c3cSPeter Maydell }
136ce187c3cSPeter Maydell pend &= grpmask;
137ce187c3cSPeter Maydell
138ce187c3cSPeter Maydell return pend;
139ce187c3cSPeter Maydell }
140ce187c3cSPeter Maydell
gicv3_get_priority(GICv3CPUState * cs,bool is_redist,int irq,uint8_t * prio)141*d89daa89SJinjie Ruan static bool gicv3_get_priority(GICv3CPUState *cs, bool is_redist, int irq,
142*d89daa89SJinjie Ruan uint8_t *prio)
143*d89daa89SJinjie Ruan {
144*d89daa89SJinjie Ruan uint32_t nmi = 0x0;
145*d89daa89SJinjie Ruan
146*d89daa89SJinjie Ruan if (is_redist) {
147*d89daa89SJinjie Ruan nmi = extract32(cs->gicr_inmir0, irq, 1);
148*d89daa89SJinjie Ruan } else {
149*d89daa89SJinjie Ruan nmi = *gic_bmp_ptr32(cs->gic->nmi, irq);
150*d89daa89SJinjie Ruan nmi = nmi & (1 << (irq & 0x1f));
151*d89daa89SJinjie Ruan }
152*d89daa89SJinjie Ruan
153*d89daa89SJinjie Ruan if (nmi) {
154*d89daa89SJinjie Ruan /* DS = 0 & Non-secure NMI */
155*d89daa89SJinjie Ruan if (!(cs->gic->gicd_ctlr & GICD_CTLR_DS) &&
156*d89daa89SJinjie Ruan ((is_redist && extract32(cs->gicr_igroupr0, irq, 1)) ||
157*d89daa89SJinjie Ruan (!is_redist && gicv3_gicd_group_test(cs->gic, irq)))) {
158*d89daa89SJinjie Ruan *prio = 0x80;
159*d89daa89SJinjie Ruan } else {
160*d89daa89SJinjie Ruan *prio = 0x0;
161*d89daa89SJinjie Ruan }
162*d89daa89SJinjie Ruan
163*d89daa89SJinjie Ruan return true;
164*d89daa89SJinjie Ruan }
165*d89daa89SJinjie Ruan
166*d89daa89SJinjie Ruan if (is_redist) {
167*d89daa89SJinjie Ruan *prio = cs->gicr_ipriorityr[irq];
168*d89daa89SJinjie Ruan } else {
169*d89daa89SJinjie Ruan *prio = cs->gic->gicd_ipriority[irq];
170*d89daa89SJinjie Ruan }
171*d89daa89SJinjie Ruan
172*d89daa89SJinjie Ruan return false;
173*d89daa89SJinjie Ruan }
174*d89daa89SJinjie Ruan
175ce187c3cSPeter Maydell /* Update the interrupt status after state in a redistributor
176ce187c3cSPeter Maydell * or CPU interface has changed, but don't tell the CPU i/f.
177ce187c3cSPeter Maydell */
gicv3_redist_update_noirqset(GICv3CPUState * cs)178ce187c3cSPeter Maydell static void gicv3_redist_update_noirqset(GICv3CPUState *cs)
179ce187c3cSPeter Maydell {
180ce187c3cSPeter Maydell /* Find the highest priority pending interrupt among the
181ce187c3cSPeter Maydell * redistributor interrupts (SGIs and PPIs).
182ce187c3cSPeter Maydell */
183ce187c3cSPeter Maydell bool seenbetter = false;
184ce187c3cSPeter Maydell uint8_t prio;
185ce187c3cSPeter Maydell int i;
186ce187c3cSPeter Maydell uint32_t pend;
187*d89daa89SJinjie Ruan bool nmi = false;
188ce187c3cSPeter Maydell
189ce187c3cSPeter Maydell /* Find out which redistributor interrupts are eligible to be
190ce187c3cSPeter Maydell * signaled to the CPU interface.
191ce187c3cSPeter Maydell */
192ce187c3cSPeter Maydell pend = gicr_int_pending(cs);
193ce187c3cSPeter Maydell
194ce187c3cSPeter Maydell if (pend) {
195ce187c3cSPeter Maydell for (i = 0; i < GIC_INTERNAL; i++) {
196ce187c3cSPeter Maydell if (!(pend & (1 << i))) {
197ce187c3cSPeter Maydell continue;
198ce187c3cSPeter Maydell }
199*d89daa89SJinjie Ruan nmi = gicv3_get_priority(cs, true, i, &prio);
200*d89daa89SJinjie Ruan if (irqbetter(cs, i, prio, nmi)) {
201ce187c3cSPeter Maydell cs->hppi.irq = i;
202ce187c3cSPeter Maydell cs->hppi.prio = prio;
203*d89daa89SJinjie Ruan cs->hppi.nmi = nmi;
204ce187c3cSPeter Maydell seenbetter = true;
205ce187c3cSPeter Maydell }
206ce187c3cSPeter Maydell }
207ce187c3cSPeter Maydell }
208ce187c3cSPeter Maydell
209ce187c3cSPeter Maydell if (seenbetter) {
210ce187c3cSPeter Maydell cs->hppi.grp = gicv3_irq_group(cs->gic, cs, cs->hppi.irq);
211ce187c3cSPeter Maydell }
212ce187c3cSPeter Maydell
21317fb5e36SShashi Mallela if ((cs->gicr_ctlr & GICR_CTLR_ENABLE_LPIS) && cs->gic->lpi_enable &&
21470309077SPeter Maydell (cs->gic->gicd_ctlr & GICD_CTLR_EN_GRP1NS) &&
21517fb5e36SShashi Mallela (cs->hpplpi.prio != 0xff)) {
216*d89daa89SJinjie Ruan if (irqbetter(cs, cs->hpplpi.irq, cs->hpplpi.prio, cs->hpplpi.nmi)) {
21717fb5e36SShashi Mallela cs->hppi.irq = cs->hpplpi.irq;
21817fb5e36SShashi Mallela cs->hppi.prio = cs->hpplpi.prio;
219*d89daa89SJinjie Ruan cs->hppi.nmi = cs->hpplpi.nmi;
22017fb5e36SShashi Mallela cs->hppi.grp = cs->hpplpi.grp;
22117fb5e36SShashi Mallela seenbetter = true;
22217fb5e36SShashi Mallela }
22317fb5e36SShashi Mallela }
22417fb5e36SShashi Mallela
225ce187c3cSPeter Maydell /* If the best interrupt we just found would preempt whatever
226ce187c3cSPeter Maydell * was the previous best interrupt before this update, then
227ce187c3cSPeter Maydell * we know it's definitely the best one now.
228ce187c3cSPeter Maydell * If we didn't find an interrupt that would preempt the previous
229ce187c3cSPeter Maydell * best, and the previous best is outside our range (or there was no
230ce187c3cSPeter Maydell * previous pending interrupt at all), then that is still valid, and
231ce187c3cSPeter Maydell * we leave it as the best.
232ce187c3cSPeter Maydell * Otherwise, we need to do a full update (because the previous best
233ce187c3cSPeter Maydell * interrupt has reduced in priority and any other interrupt could
234ce187c3cSPeter Maydell * now be the new best one).
235ce187c3cSPeter Maydell */
236101f27f3SPeter Maydell if (!seenbetter && cs->hppi.prio != 0xff &&
237101f27f3SPeter Maydell (cs->hppi.irq < GIC_INTERNAL ||
238101f27f3SPeter Maydell cs->hppi.irq >= GICV3_LPI_INTID_START)) {
239ce187c3cSPeter Maydell gicv3_full_update_noirqset(cs->gic);
240ce187c3cSPeter Maydell }
241ce187c3cSPeter Maydell }
242ce187c3cSPeter Maydell
243ce187c3cSPeter Maydell /* Update the GIC status after state in a redistributor or
244ce187c3cSPeter Maydell * CPU interface has changed, and inform the CPU i/f of
245ce187c3cSPeter Maydell * its new highest priority pending interrupt.
246ce187c3cSPeter Maydell */
gicv3_redist_update(GICv3CPUState * cs)247ce187c3cSPeter Maydell void gicv3_redist_update(GICv3CPUState *cs)
248ce187c3cSPeter Maydell {
249ce187c3cSPeter Maydell gicv3_redist_update_noirqset(cs);
250ce187c3cSPeter Maydell gicv3_cpuif_update(cs);
251ce187c3cSPeter Maydell }
252ce187c3cSPeter Maydell
253ce187c3cSPeter Maydell /* Update the GIC status after state in the distributor has
254ce187c3cSPeter Maydell * changed affecting @len interrupts starting at @start,
255ce187c3cSPeter Maydell * but don't tell the CPU i/f.
256ce187c3cSPeter Maydell */
gicv3_update_noirqset(GICv3State * s,int start,int len)257ce187c3cSPeter Maydell static void gicv3_update_noirqset(GICv3State *s, int start, int len)
258ce187c3cSPeter Maydell {
259ce187c3cSPeter Maydell int i;
260ce187c3cSPeter Maydell uint8_t prio;
261ce187c3cSPeter Maydell uint32_t pend = 0;
262*d89daa89SJinjie Ruan bool nmi = false;
263ce187c3cSPeter Maydell
264ce187c3cSPeter Maydell assert(start >= GIC_INTERNAL);
265ce187c3cSPeter Maydell assert(len > 0);
266ce187c3cSPeter Maydell
267ce187c3cSPeter Maydell for (i = 0; i < s->num_cpu; i++) {
268ce187c3cSPeter Maydell s->cpu[i].seenbetter = false;
269ce187c3cSPeter Maydell }
270ce187c3cSPeter Maydell
271ce187c3cSPeter Maydell /* Find the highest priority pending interrupt in this range. */
272ce187c3cSPeter Maydell for (i = start; i < start + len; i++) {
273ce187c3cSPeter Maydell GICv3CPUState *cs;
274ce187c3cSPeter Maydell
275ce187c3cSPeter Maydell if (i == start || (i & 0x1f) == 0) {
276ce187c3cSPeter Maydell /* Calculate the next 32 bits worth of pending status */
277ce187c3cSPeter Maydell pend = gicd_int_pending(s, i & ~0x1f);
278ce187c3cSPeter Maydell }
279ce187c3cSPeter Maydell
280ce187c3cSPeter Maydell if (!(pend & (1 << (i & 0x1f)))) {
281ce187c3cSPeter Maydell continue;
282ce187c3cSPeter Maydell }
283ce187c3cSPeter Maydell cs = s->gicd_irouter_target[i];
284ce187c3cSPeter Maydell if (!cs) {
285ce187c3cSPeter Maydell /* Interrupts targeting no implemented CPU should remain pending
286ce187c3cSPeter Maydell * and not be forwarded to any CPU.
287ce187c3cSPeter Maydell */
288ce187c3cSPeter Maydell continue;
289ce187c3cSPeter Maydell }
290*d89daa89SJinjie Ruan nmi = gicv3_get_priority(cs, false, i, &prio);
291*d89daa89SJinjie Ruan if (irqbetter(cs, i, prio, nmi)) {
292ce187c3cSPeter Maydell cs->hppi.irq = i;
293ce187c3cSPeter Maydell cs->hppi.prio = prio;
294*d89daa89SJinjie Ruan cs->hppi.nmi = nmi;
295ce187c3cSPeter Maydell cs->seenbetter = true;
296ce187c3cSPeter Maydell }
297ce187c3cSPeter Maydell }
298ce187c3cSPeter Maydell
299ce187c3cSPeter Maydell /* If the best interrupt we just found would preempt whatever
300ce187c3cSPeter Maydell * was the previous best interrupt before this update, then
301ce187c3cSPeter Maydell * we know it's definitely the best one now.
302ce187c3cSPeter Maydell * If we didn't find an interrupt that would preempt the previous
303ce187c3cSPeter Maydell * best, and the previous best is outside our range (or there was
304ce187c3cSPeter Maydell * no previous pending interrupt at all), then that
305ce187c3cSPeter Maydell * is still valid, and we leave it as the best.
306ce187c3cSPeter Maydell * Otherwise, we need to do a full update (because the previous best
307ce187c3cSPeter Maydell * interrupt has reduced in priority and any other interrupt could
308ce187c3cSPeter Maydell * now be the new best one).
309ce187c3cSPeter Maydell */
310ce187c3cSPeter Maydell for (i = 0; i < s->num_cpu; i++) {
311ce187c3cSPeter Maydell GICv3CPUState *cs = &s->cpu[i];
312ce187c3cSPeter Maydell
313ce187c3cSPeter Maydell if (cs->seenbetter) {
314ce187c3cSPeter Maydell cs->hppi.grp = gicv3_irq_group(cs->gic, cs, cs->hppi.irq);
315ce187c3cSPeter Maydell }
316ce187c3cSPeter Maydell
317ce187c3cSPeter Maydell if (!cs->seenbetter && cs->hppi.prio != 0xff &&
318ce187c3cSPeter Maydell cs->hppi.irq >= start && cs->hppi.irq < start + len) {
319ce187c3cSPeter Maydell gicv3_full_update_noirqset(s);
320ce187c3cSPeter Maydell break;
321ce187c3cSPeter Maydell }
322ce187c3cSPeter Maydell }
323ce187c3cSPeter Maydell }
324ce187c3cSPeter Maydell
gicv3_update(GICv3State * s,int start,int len)325ce187c3cSPeter Maydell void gicv3_update(GICv3State *s, int start, int len)
326ce187c3cSPeter Maydell {
327ce187c3cSPeter Maydell int i;
328ce187c3cSPeter Maydell
329ce187c3cSPeter Maydell gicv3_update_noirqset(s, start, len);
330ce187c3cSPeter Maydell for (i = 0; i < s->num_cpu; i++) {
331ce187c3cSPeter Maydell gicv3_cpuif_update(&s->cpu[i]);
332ce187c3cSPeter Maydell }
333ce187c3cSPeter Maydell }
334ce187c3cSPeter Maydell
gicv3_full_update_noirqset(GICv3State * s)335ce187c3cSPeter Maydell void gicv3_full_update_noirqset(GICv3State *s)
336ce187c3cSPeter Maydell {
337ce187c3cSPeter Maydell /* Completely recalculate the GIC status from scratch, but
338ce187c3cSPeter Maydell * don't update any outbound IRQ lines.
339ce187c3cSPeter Maydell */
340ce187c3cSPeter Maydell int i;
341ce187c3cSPeter Maydell
342ce187c3cSPeter Maydell for (i = 0; i < s->num_cpu; i++) {
343ce187c3cSPeter Maydell s->cpu[i].hppi.prio = 0xff;
344*d89daa89SJinjie Ruan s->cpu[i].hppi.nmi = false;
345ce187c3cSPeter Maydell }
346ce187c3cSPeter Maydell
347ce187c3cSPeter Maydell /* Note that we can guarantee that these functions will not
348ce187c3cSPeter Maydell * recursively call back into gicv3_full_update(), because
349ce187c3cSPeter Maydell * at each point the "previous best" is always outside the
350ce187c3cSPeter Maydell * range we ask them to update.
351ce187c3cSPeter Maydell */
352ce187c3cSPeter Maydell gicv3_update_noirqset(s, GIC_INTERNAL, s->num_irq - GIC_INTERNAL);
353ce187c3cSPeter Maydell
354ce187c3cSPeter Maydell for (i = 0; i < s->num_cpu; i++) {
355ce187c3cSPeter Maydell gicv3_redist_update_noirqset(&s->cpu[i]);
356ce187c3cSPeter Maydell }
357ce187c3cSPeter Maydell }
358ce187c3cSPeter Maydell
gicv3_full_update(GICv3State * s)359ce187c3cSPeter Maydell void gicv3_full_update(GICv3State *s)
360ce187c3cSPeter Maydell {
361ce187c3cSPeter Maydell /* Completely recalculate the GIC status from scratch, including
362ce187c3cSPeter Maydell * updating outbound IRQ lines.
363ce187c3cSPeter Maydell */
364ce187c3cSPeter Maydell int i;
365ce187c3cSPeter Maydell
366ce187c3cSPeter Maydell gicv3_full_update_noirqset(s);
367ce187c3cSPeter Maydell for (i = 0; i < s->num_cpu; i++) {
368ce187c3cSPeter Maydell gicv3_cpuif_update(&s->cpu[i]);
369ce187c3cSPeter Maydell }
370ce187c3cSPeter Maydell }
371ce187c3cSPeter Maydell
37256992670SShlomo Pongratz /* Process a change in an external IRQ input. */
gicv3_set_irq(void * opaque,int irq,int level)37356992670SShlomo Pongratz static void gicv3_set_irq(void *opaque, int irq, int level)
37456992670SShlomo Pongratz {
37556992670SShlomo Pongratz /* Meaning of the 'irq' parameter:
37656992670SShlomo Pongratz * [0..N-1] : external interrupts
37756992670SShlomo Pongratz * [N..N+31] : PPI (internal) interrupts for CPU 0
37856992670SShlomo Pongratz * [N+32..N+63] : PPI (internal interrupts for CPU 1
37956992670SShlomo Pongratz * ...
38056992670SShlomo Pongratz */
381c84428b3SPeter Maydell GICv3State *s = opaque;
382c84428b3SPeter Maydell
383c84428b3SPeter Maydell if (irq < (s->num_irq - GIC_INTERNAL)) {
384c84428b3SPeter Maydell /* external interrupt (SPI) */
385c84428b3SPeter Maydell gicv3_dist_set_irq(s, irq + GIC_INTERNAL, level);
386c84428b3SPeter Maydell } else {
387c84428b3SPeter Maydell /* per-cpu interrupt (PPI) */
388c84428b3SPeter Maydell int cpu;
389c84428b3SPeter Maydell
390c84428b3SPeter Maydell irq -= (s->num_irq - GIC_INTERNAL);
391c84428b3SPeter Maydell cpu = irq / GIC_INTERNAL;
392c84428b3SPeter Maydell irq %= GIC_INTERNAL;
393c84428b3SPeter Maydell assert(cpu < s->num_cpu);
394c84428b3SPeter Maydell /* Raising SGIs via this function would be a bug in how the board
395c84428b3SPeter Maydell * model wires up interrupts.
396c84428b3SPeter Maydell */
397c84428b3SPeter Maydell assert(irq >= GIC_NR_SGIS);
398c84428b3SPeter Maydell gicv3_redist_set_irq(&s->cpu[cpu], irq, level);
399c84428b3SPeter Maydell }
40056992670SShlomo Pongratz }
40156992670SShlomo Pongratz
arm_gicv3_post_load(GICv3State * s)402ce187c3cSPeter Maydell static void arm_gicv3_post_load(GICv3State *s)
403ce187c3cSPeter Maydell {
40417fb5e36SShashi Mallela int i;
405ce187c3cSPeter Maydell /* Recalculate our cached idea of the current highest priority
406ce187c3cSPeter Maydell * pending interrupt, but don't set IRQ or FIQ lines.
407ce187c3cSPeter Maydell */
40817fb5e36SShashi Mallela for (i = 0; i < s->num_cpu; i++) {
409101f27f3SPeter Maydell gicv3_redist_update_lpi_only(&s->cpu[i]);
41017fb5e36SShashi Mallela }
411ce187c3cSPeter Maydell gicv3_full_update_noirqset(s);
412ce187c3cSPeter Maydell /* Repopulate the cache of GICv3CPUState pointers for target CPUs */
413ce187c3cSPeter Maydell gicv3_cache_all_target_cpustates(s);
414ce187c3cSPeter Maydell }
415ce187c3cSPeter Maydell
416287c181aSPeter Maydell static const MemoryRegionOps gic_ops[] = {
417287c181aSPeter Maydell {
418287c181aSPeter Maydell .read_with_attrs = gicv3_dist_read,
419287c181aSPeter Maydell .write_with_attrs = gicv3_dist_write,
420287c181aSPeter Maydell .endianness = DEVICE_NATIVE_ENDIAN,
42131164ebfSPeter Maydell .valid.min_access_size = 1,
42231164ebfSPeter Maydell .valid.max_access_size = 8,
42331164ebfSPeter Maydell .impl.min_access_size = 1,
42431164ebfSPeter Maydell .impl.max_access_size = 8,
425287c181aSPeter Maydell },
426287c181aSPeter Maydell {
427287c181aSPeter Maydell .read_with_attrs = gicv3_redist_read,
428287c181aSPeter Maydell .write_with_attrs = gicv3_redist_write,
429287c181aSPeter Maydell .endianness = DEVICE_NATIVE_ENDIAN,
43031164ebfSPeter Maydell .valid.min_access_size = 1,
43131164ebfSPeter Maydell .valid.max_access_size = 8,
43231164ebfSPeter Maydell .impl.min_access_size = 1,
43331164ebfSPeter Maydell .impl.max_access_size = 8,
434287c181aSPeter Maydell }
435287c181aSPeter Maydell };
436287c181aSPeter Maydell
arm_gic_realize(DeviceState * dev,Error ** errp)43756992670SShlomo Pongratz static void arm_gic_realize(DeviceState *dev, Error **errp)
43856992670SShlomo Pongratz {
43956992670SShlomo Pongratz /* Device instance realize function for the GIC sysbus device */
44056992670SShlomo Pongratz GICv3State *s = ARM_GICV3(dev);
44156992670SShlomo Pongratz ARMGICv3Class *agc = ARM_GICV3_GET_CLASS(s);
44256992670SShlomo Pongratz Error *local_err = NULL;
44356992670SShlomo Pongratz
44456992670SShlomo Pongratz agc->parent_realize(dev, &local_err);
44556992670SShlomo Pongratz if (local_err) {
44656992670SShlomo Pongratz error_propagate(errp, local_err);
44756992670SShlomo Pongratz return;
44856992670SShlomo Pongratz }
44956992670SShlomo Pongratz
45001b5ab8cSPeter Maydell gicv3_init_irqs_and_mmio(s, gicv3_set_irq, gic_ops);
451359fbe65SPeter Maydell
452359fbe65SPeter Maydell gicv3_init_cpuif(s);
45356992670SShlomo Pongratz }
45456992670SShlomo Pongratz
arm_gicv3_class_init(ObjectClass * klass,void * data)45556992670SShlomo Pongratz static void arm_gicv3_class_init(ObjectClass *klass, void *data)
45656992670SShlomo Pongratz {
45756992670SShlomo Pongratz DeviceClass *dc = DEVICE_CLASS(klass);
458ce187c3cSPeter Maydell ARMGICv3CommonClass *agcc = ARM_GICV3_COMMON_CLASS(klass);
45956992670SShlomo Pongratz ARMGICv3Class *agc = ARM_GICV3_CLASS(klass);
46056992670SShlomo Pongratz
461ce187c3cSPeter Maydell agcc->post_load = arm_gicv3_post_load;
462bf853881SPhilippe Mathieu-Daudé device_class_set_parent_realize(dc, arm_gic_realize, &agc->parent_realize);
46356992670SShlomo Pongratz }
46456992670SShlomo Pongratz
46556992670SShlomo Pongratz static const TypeInfo arm_gicv3_info = {
46656992670SShlomo Pongratz .name = TYPE_ARM_GICV3,
46756992670SShlomo Pongratz .parent = TYPE_ARM_GICV3_COMMON,
46856992670SShlomo Pongratz .instance_size = sizeof(GICv3State),
46956992670SShlomo Pongratz .class_init = arm_gicv3_class_init,
47056992670SShlomo Pongratz .class_size = sizeof(ARMGICv3Class),
47156992670SShlomo Pongratz };
47256992670SShlomo Pongratz
arm_gicv3_register_types(void)47356992670SShlomo Pongratz static void arm_gicv3_register_types(void)
47456992670SShlomo Pongratz {
47556992670SShlomo Pongratz type_register_static(&arm_gicv3_info);
47656992670SShlomo Pongratz }
47756992670SShlomo Pongratz
47856992670SShlomo Pongratz type_init(arm_gicv3_register_types)
479