xref: /openbmc/qemu/hw/intc/gic_internal.h (revision 567ea808)
147b43a1fSPaolo Bonzini /*
247b43a1fSPaolo Bonzini  * ARM GIC support - internal interfaces
347b43a1fSPaolo Bonzini  *
447b43a1fSPaolo Bonzini  * Copyright (c) 2012 Linaro Limited
547b43a1fSPaolo Bonzini  * Written by Peter Maydell
647b43a1fSPaolo Bonzini  *
747b43a1fSPaolo Bonzini  * This program is free software; you can redistribute it and/or modify
847b43a1fSPaolo Bonzini  * it under the terms of the GNU General Public License as published by
947b43a1fSPaolo Bonzini  * the Free Software Foundation, either version 2 of the License, or
1047b43a1fSPaolo Bonzini  * (at your option) any later version.
1147b43a1fSPaolo Bonzini  *
1247b43a1fSPaolo Bonzini  * This program is distributed in the hope that it will be useful,
1347b43a1fSPaolo Bonzini  * but WITHOUT ANY WARRANTY; without even the implied warranty of
1447b43a1fSPaolo Bonzini  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
1547b43a1fSPaolo Bonzini  * GNU General Public License for more details.
1647b43a1fSPaolo Bonzini  *
1747b43a1fSPaolo Bonzini  * You should have received a copy of the GNU General Public License along
1847b43a1fSPaolo Bonzini  * with this program; if not, see <http://www.gnu.org/licenses/>.
1947b43a1fSPaolo Bonzini  */
2047b43a1fSPaolo Bonzini 
2147b43a1fSPaolo Bonzini #ifndef QEMU_ARM_GIC_INTERNAL_H
2247b43a1fSPaolo Bonzini #define QEMU_ARM_GIC_INTERNAL_H
2347b43a1fSPaolo Bonzini 
247c2fffd2SLuc Michel #include "hw/registerfields.h"
2583728796SAndreas Färber #include "hw/intc/arm_gic.h"
2647b43a1fSPaolo Bonzini 
2783728796SAndreas Färber #define ALL_CPU_MASK ((unsigned)(((1 << GIC_NCPU) - 1)))
2847b43a1fSPaolo Bonzini 
2967ce697aSLuc Michel #define GIC_DIST_SET_ENABLED(irq, cm) (s->irq_state[irq].enabled |= (cm))
3067ce697aSLuc Michel #define GIC_DIST_CLEAR_ENABLED(irq, cm) (s->irq_state[irq].enabled &= ~(cm))
3167ce697aSLuc Michel #define GIC_DIST_TEST_ENABLED(irq, cm) ((s->irq_state[irq].enabled & (cm)) != 0)
3267ce697aSLuc Michel #define GIC_DIST_SET_PENDING(irq, cm) (s->irq_state[irq].pending |= (cm))
3367ce697aSLuc Michel #define GIC_DIST_CLEAR_PENDING(irq, cm) (s->irq_state[irq].pending &= ~(cm))
3467ce697aSLuc Michel #define GIC_DIST_SET_ACTIVE(irq, cm) (s->irq_state[irq].active |= (cm))
3567ce697aSLuc Michel #define GIC_DIST_CLEAR_ACTIVE(irq, cm) (s->irq_state[irq].active &= ~(cm))
3667ce697aSLuc Michel #define GIC_DIST_TEST_ACTIVE(irq, cm) ((s->irq_state[irq].active & (cm)) != 0)
3767ce697aSLuc Michel #define GIC_DIST_SET_MODEL(irq) (s->irq_state[irq].model = true)
3867ce697aSLuc Michel #define GIC_DIST_CLEAR_MODEL(irq) (s->irq_state[irq].model = false)
3967ce697aSLuc Michel #define GIC_DIST_TEST_MODEL(irq) (s->irq_state[irq].model)
4067ce697aSLuc Michel #define GIC_DIST_SET_LEVEL(irq, cm) (s->irq_state[irq].level |= (cm))
4167ce697aSLuc Michel #define GIC_DIST_CLEAR_LEVEL(irq, cm) (s->irq_state[irq].level &= ~(cm))
4267ce697aSLuc Michel #define GIC_DIST_TEST_LEVEL(irq, cm) ((s->irq_state[irq].level & (cm)) != 0)
4367ce697aSLuc Michel #define GIC_DIST_SET_EDGE_TRIGGER(irq) (s->irq_state[irq].edge_trigger = true)
4467ce697aSLuc Michel #define GIC_DIST_CLEAR_EDGE_TRIGGER(irq) \
4567ce697aSLuc Michel     (s->irq_state[irq].edge_trigger = false)
4667ce697aSLuc Michel #define GIC_DIST_TEST_EDGE_TRIGGER(irq) (s->irq_state[irq].edge_trigger)
4767ce697aSLuc Michel #define GIC_DIST_GET_PRIORITY(irq, cpu) (((irq) < GIC_INTERNAL) ?            \
4847b43a1fSPaolo Bonzini                                     s->priority1[irq][cpu] :            \
4947b43a1fSPaolo Bonzini                                     s->priority2[(irq) - GIC_INTERNAL])
5067ce697aSLuc Michel #define GIC_DIST_TARGET(irq) (s->irq_target[irq])
5167ce697aSLuc Michel #define GIC_DIST_CLEAR_GROUP(irq, cm) (s->irq_state[irq].group &= ~(cm))
5267ce697aSLuc Michel #define GIC_DIST_SET_GROUP(irq, cm) (s->irq_state[irq].group |= (cm))
5367ce697aSLuc Michel #define GIC_DIST_TEST_GROUP(irq, cm) ((s->irq_state[irq].group & (cm)) != 0)
54c27a5ba9SFabian Aggeler 
55679aa175SFabian Aggeler #define GICD_CTLR_EN_GRP0 (1U << 0)
56679aa175SFabian Aggeler #define GICD_CTLR_EN_GRP1 (1U << 1)
5747b43a1fSPaolo Bonzini 
5832951860SFabian Aggeler #define GICC_CTLR_EN_GRP0    (1U << 0)
5932951860SFabian Aggeler #define GICC_CTLR_EN_GRP1    (1U << 1)
6032951860SFabian Aggeler #define GICC_CTLR_ACK_CTL    (1U << 2)
6132951860SFabian Aggeler #define GICC_CTLR_FIQ_EN     (1U << 3)
6232951860SFabian Aggeler #define GICC_CTLR_CBPR       (1U << 4) /* GICv1: SBPR */
6332951860SFabian Aggeler #define GICC_CTLR_EOIMODE    (1U << 9)
6432951860SFabian Aggeler #define GICC_CTLR_EOIMODE_NS (1U << 10)
6532951860SFabian Aggeler 
667c2fffd2SLuc Michel REG32(GICH_HCR, 0x0)
677c2fffd2SLuc Michel     FIELD(GICH_HCR, EN, 0, 1)
687c2fffd2SLuc Michel     FIELD(GICH_HCR, UIE, 1, 1)
697c2fffd2SLuc Michel     FIELD(GICH_HCR, LRENPIE, 2, 1)
707c2fffd2SLuc Michel     FIELD(GICH_HCR, NPIE, 3, 1)
717c2fffd2SLuc Michel     FIELD(GICH_HCR, VGRP0EIE, 4, 1)
727c2fffd2SLuc Michel     FIELD(GICH_HCR, VGRP0DIE, 5, 1)
737c2fffd2SLuc Michel     FIELD(GICH_HCR, VGRP1EIE, 6, 1)
747c2fffd2SLuc Michel     FIELD(GICH_HCR, VGRP1DIE, 7, 1)
757c2fffd2SLuc Michel     FIELD(GICH_HCR, EOICount, 27, 5)
767c2fffd2SLuc Michel 
777c2fffd2SLuc Michel #define GICH_HCR_MASK \
787c2fffd2SLuc Michel     (R_GICH_HCR_EN_MASK | R_GICH_HCR_UIE_MASK | \
797c2fffd2SLuc Michel      R_GICH_HCR_LRENPIE_MASK | R_GICH_HCR_NPIE_MASK | \
807c2fffd2SLuc Michel      R_GICH_HCR_VGRP0EIE_MASK | R_GICH_HCR_VGRP0DIE_MASK | \
817c2fffd2SLuc Michel      R_GICH_HCR_VGRP1EIE_MASK | R_GICH_HCR_VGRP1DIE_MASK | \
827c2fffd2SLuc Michel      R_GICH_HCR_EOICount_MASK)
837c2fffd2SLuc Michel 
847c2fffd2SLuc Michel REG32(GICH_VTR, 0x4)
857c2fffd2SLuc Michel     FIELD(GICH_VTR, ListRegs, 0, 6)
867c2fffd2SLuc Michel     FIELD(GICH_VTR, PREbits, 26, 3)
877c2fffd2SLuc Michel     FIELD(GICH_VTR, PRIbits, 29, 3)
887c2fffd2SLuc Michel 
897c2fffd2SLuc Michel REG32(GICH_VMCR, 0x8)
907c2fffd2SLuc Michel     FIELD(GICH_VMCR, VMCCtlr, 0, 10)
917c2fffd2SLuc Michel     FIELD(GICH_VMCR, VMABP, 18, 3)
927c2fffd2SLuc Michel     FIELD(GICH_VMCR, VMBP, 21, 3)
937c2fffd2SLuc Michel     FIELD(GICH_VMCR, VMPriMask, 27, 5)
947c2fffd2SLuc Michel 
957c2fffd2SLuc Michel REG32(GICH_MISR, 0x10)
967c2fffd2SLuc Michel     FIELD(GICH_MISR, EOI, 0, 1)
977c2fffd2SLuc Michel     FIELD(GICH_MISR, U, 1, 1)
987c2fffd2SLuc Michel     FIELD(GICH_MISR, LRENP, 2, 1)
997c2fffd2SLuc Michel     FIELD(GICH_MISR, NP, 3, 1)
1007c2fffd2SLuc Michel     FIELD(GICH_MISR, VGrp0E, 4, 1)
1017c2fffd2SLuc Michel     FIELD(GICH_MISR, VGrp0D, 5, 1)
1027c2fffd2SLuc Michel     FIELD(GICH_MISR, VGrp1E, 6, 1)
1037c2fffd2SLuc Michel     FIELD(GICH_MISR, VGrp1D, 7, 1)
1047c2fffd2SLuc Michel 
1057c2fffd2SLuc Michel REG32(GICH_EISR0, 0x20)
1067c2fffd2SLuc Michel REG32(GICH_EISR1, 0x24)
1077c2fffd2SLuc Michel REG32(GICH_ELRSR0, 0x30)
1087c2fffd2SLuc Michel REG32(GICH_ELRSR1, 0x34)
1097c2fffd2SLuc Michel REG32(GICH_APR, 0xf0)
1107c2fffd2SLuc Michel 
1117c2fffd2SLuc Michel REG32(GICH_LR0, 0x100)
1127c2fffd2SLuc Michel     FIELD(GICH_LR0, VirtualID, 0, 10)
1137c2fffd2SLuc Michel     FIELD(GICH_LR0, PhysicalID, 10, 10)
1147c2fffd2SLuc Michel     FIELD(GICH_LR0, CPUID, 10, 3)
1157c2fffd2SLuc Michel     FIELD(GICH_LR0, EOI, 19, 1)
1167c2fffd2SLuc Michel     FIELD(GICH_LR0, Priority, 23, 5)
1177c2fffd2SLuc Michel     FIELD(GICH_LR0, State, 28, 2)
1187c2fffd2SLuc Michel     FIELD(GICH_LR0, Grp1, 30, 1)
1197c2fffd2SLuc Michel     FIELD(GICH_LR0, HW, 31, 1)
1207c2fffd2SLuc Michel 
1217c2fffd2SLuc Michel /* Last LR register */
1227c2fffd2SLuc Michel REG32(GICH_LR63, 0x1fc)
1237c2fffd2SLuc Michel 
1247c2fffd2SLuc Michel #define GICH_LR_MASK \
1257c2fffd2SLuc Michel     (R_GICH_LR0_VirtualID_MASK | R_GICH_LR0_PhysicalID_MASK | \
1267c2fffd2SLuc Michel      R_GICH_LR0_CPUID_MASK | R_GICH_LR0_EOI_MASK | \
1277c2fffd2SLuc Michel      R_GICH_LR0_Priority_MASK | R_GICH_LR0_State_MASK | \
1287c2fffd2SLuc Michel      R_GICH_LR0_Grp1_MASK | R_GICH_LR0_HW_MASK)
1297c2fffd2SLuc Michel 
1304a37e0e4SLuc Michel #define GICH_LR_STATE_INVALID         0
1314a37e0e4SLuc Michel #define GICH_LR_STATE_PENDING         1
1324a37e0e4SLuc Michel #define GICH_LR_STATE_ACTIVE          2
1334a37e0e4SLuc Michel #define GICH_LR_STATE_ACTIVE_PENDING  3
1344a37e0e4SLuc Michel 
1354a37e0e4SLuc Michel #define GICH_LR_VIRT_ID(entry) (FIELD_EX32(entry, GICH_LR0, VirtualID))
1364a37e0e4SLuc Michel #define GICH_LR_PHYS_ID(entry) (FIELD_EX32(entry, GICH_LR0, PhysicalID))
1374a37e0e4SLuc Michel #define GICH_LR_CPUID(entry) (FIELD_EX32(entry, GICH_LR0, CPUID))
1384a37e0e4SLuc Michel #define GICH_LR_EOI(entry) (FIELD_EX32(entry, GICH_LR0, EOI))
1394a37e0e4SLuc Michel #define GICH_LR_PRIORITY(entry) (FIELD_EX32(entry, GICH_LR0, Priority) << 3)
1404a37e0e4SLuc Michel #define GICH_LR_STATE(entry) (FIELD_EX32(entry, GICH_LR0, State))
1414a37e0e4SLuc Michel #define GICH_LR_GROUP(entry) (FIELD_EX32(entry, GICH_LR0, Grp1))
1424a37e0e4SLuc Michel #define GICH_LR_HW(entry) (FIELD_EX32(entry, GICH_LR0, HW))
1434a37e0e4SLuc Michel 
144*86b350f0SLuc Michel #define GICH_LR_CLEAR_PENDING(entry) \
145*86b350f0SLuc Michel         ((entry) &= ~(GICH_LR_STATE_PENDING << R_GICH_LR0_State_SHIFT))
146*86b350f0SLuc Michel #define GICH_LR_SET_ACTIVE(entry) \
147*86b350f0SLuc Michel         ((entry) |= (GICH_LR_STATE_ACTIVE << R_GICH_LR0_State_SHIFT))
148*86b350f0SLuc Michel #define GICH_LR_CLEAR_ACTIVE(entry) \
149*86b350f0SLuc Michel         ((entry) &= ~(GICH_LR_STATE_ACTIVE << R_GICH_LR0_State_SHIFT))
150*86b350f0SLuc Michel 
15132951860SFabian Aggeler /* Valid bits for GICC_CTLR for GICv1, v1 with security extensions,
15232951860SFabian Aggeler  * GICv2 and GICv2 with security extensions:
15332951860SFabian Aggeler  */
15432951860SFabian Aggeler #define GICC_CTLR_V1_MASK    0x1
15532951860SFabian Aggeler #define GICC_CTLR_V1_S_MASK  0x1f
15632951860SFabian Aggeler #define GICC_CTLR_V2_MASK    0x21f
15732951860SFabian Aggeler #define GICC_CTLR_V2_S_MASK  0x61f
15832951860SFabian Aggeler 
15947b43a1fSPaolo Bonzini /* The special cases for the revision property: */
16047b43a1fSPaolo Bonzini #define REV_11MPCORE 0
16147b43a1fSPaolo Bonzini 
162c5619bf9SFabian Aggeler uint32_t gic_acknowledge_irq(GICState *s, int cpu, MemTxAttrs attrs);
16367ce697aSLuc Michel void gic_dist_set_priority(GICState *s, int cpu, int irq, uint8_t val,
16481508470SFabian Aggeler                            MemTxAttrs attrs);
16547b43a1fSPaolo Bonzini 
gic_test_pending(GICState * s,int irq,int cm)1668d999995SChristoffer Dall static inline bool gic_test_pending(GICState *s, int irq, int cm)
1678d999995SChristoffer Dall {
1687c14b3acSMichael Davidsaver     if (s->revision == REV_11MPCORE) {
1698d999995SChristoffer Dall         return s->irq_state[irq].pending & cm;
1708d999995SChristoffer Dall     } else {
1718d999995SChristoffer Dall         /* Edge-triggered interrupts are marked pending on a rising edge, but
1728d999995SChristoffer Dall          * level-triggered interrupts are either considered pending when the
1738d999995SChristoffer Dall          * level is active or if software has explicitly written to
1748d999995SChristoffer Dall          * GICD_ISPENDR to set the state pending.
1758d999995SChristoffer Dall          */
1768d999995SChristoffer Dall         return (s->irq_state[irq].pending & cm) ||
17767ce697aSLuc Michel             (!GIC_DIST_TEST_EDGE_TRIGGER(irq) && GIC_DIST_TEST_LEVEL(irq, cm));
1788d999995SChristoffer Dall     }
1798d999995SChristoffer Dall }
1808d999995SChristoffer Dall 
gic_is_vcpu(int cpu)1815773c049SLuc Michel static inline bool gic_is_vcpu(int cpu)
1825773c049SLuc Michel {
1835773c049SLuc Michel     return cpu >= GIC_NCPU;
1845773c049SLuc Michel }
1855773c049SLuc Michel 
gic_get_vcpu_real_id(int cpu)1864a37e0e4SLuc Michel static inline int gic_get_vcpu_real_id(int cpu)
1874a37e0e4SLuc Michel {
1884a37e0e4SLuc Michel     return (cpu >= GIC_NCPU) ? (cpu - GIC_NCPU) : cpu;
1894a37e0e4SLuc Michel }
1904a37e0e4SLuc Michel 
1914a37e0e4SLuc Michel /* Return true if the given vIRQ state exists in a LR and is either active or
1924a37e0e4SLuc Michel  * pending and active.
1934a37e0e4SLuc Michel  *
1944a37e0e4SLuc Michel  * This function is used to check that a guest's `end of interrupt' or
1954a37e0e4SLuc Michel  * `interrupts deactivation' request is valid, and matches with a LR of an
1964a37e0e4SLuc Michel  * already acknowledged vIRQ (i.e. has the active bit set in its state).
1974a37e0e4SLuc Michel  */
gic_virq_is_valid(GICState * s,int irq,int vcpu)1984a37e0e4SLuc Michel static inline bool gic_virq_is_valid(GICState *s, int irq, int vcpu)
1994a37e0e4SLuc Michel {
2004a37e0e4SLuc Michel     int cpu = gic_get_vcpu_real_id(vcpu);
2014a37e0e4SLuc Michel     int lr_idx;
2024a37e0e4SLuc Michel 
2034a37e0e4SLuc Michel     for (lr_idx = 0; lr_idx < s->num_lrs; lr_idx++) {
2044a37e0e4SLuc Michel         uint32_t *entry = &s->h_lr[lr_idx][cpu];
2054a37e0e4SLuc Michel 
2064a37e0e4SLuc Michel         if ((GICH_LR_VIRT_ID(*entry) == irq) &&
2074a37e0e4SLuc Michel             (GICH_LR_STATE(*entry) & GICH_LR_STATE_ACTIVE)) {
2084a37e0e4SLuc Michel             return true;
2094a37e0e4SLuc Michel         }
2104a37e0e4SLuc Michel     }
2114a37e0e4SLuc Michel 
2124a37e0e4SLuc Michel     return false;
2134a37e0e4SLuc Michel }
2144a37e0e4SLuc Michel 
2154a37e0e4SLuc Michel /* Return a pointer on the LR entry matching the given vIRQ.
2164a37e0e4SLuc Michel  *
2174a37e0e4SLuc Michel  * This function is used to retrieve an LR for which we know for sure that the
2184a37e0e4SLuc Michel  * corresponding vIRQ exists in the current context (i.e. its current state is
2194a37e0e4SLuc Michel  * not `invalid'):
2204a37e0e4SLuc Michel  *   - Either the corresponding vIRQ has been validated with gic_virq_is_valid()
2214a37e0e4SLuc Michel  *     so it is `active' or `active and pending',
2224a37e0e4SLuc Michel  *   - Or it was pending and has been selected by gic_get_best_virq(). It is now
2234a37e0e4SLuc Michel  *     `pending', `active' or `active and pending', depending on what the guest
2244a37e0e4SLuc Michel  *     already did with this vIRQ.
2254a37e0e4SLuc Michel  *
2264a37e0e4SLuc Michel  * Having multiple LRs with the same VirtualID leads to UNPREDICTABLE
2274a37e0e4SLuc Michel  * behaviour in the GIC. We choose to return the first one that matches.
2284a37e0e4SLuc Michel  */
gic_get_lr_entry(GICState * s,int irq,int vcpu)2294a37e0e4SLuc Michel static inline uint32_t *gic_get_lr_entry(GICState *s, int irq, int vcpu)
2304a37e0e4SLuc Michel {
2314a37e0e4SLuc Michel     int cpu = gic_get_vcpu_real_id(vcpu);
2324a37e0e4SLuc Michel     int lr_idx;
2334a37e0e4SLuc Michel 
2344a37e0e4SLuc Michel     for (lr_idx = 0; lr_idx < s->num_lrs; lr_idx++) {
2354a37e0e4SLuc Michel         uint32_t *entry = &s->h_lr[lr_idx][cpu];
2364a37e0e4SLuc Michel 
2374a37e0e4SLuc Michel         if ((GICH_LR_VIRT_ID(*entry) == irq) &&
2384a37e0e4SLuc Michel             (GICH_LR_STATE(*entry) != GICH_LR_STATE_INVALID)) {
2394a37e0e4SLuc Michel             return entry;
2404a37e0e4SLuc Michel         }
2414a37e0e4SLuc Michel     }
2424a37e0e4SLuc Michel 
2434a37e0e4SLuc Michel     g_assert_not_reached();
2444a37e0e4SLuc Michel }
2454a37e0e4SLuc Michel 
gic_test_group(GICState * s,int irq,int cpu)246*86b350f0SLuc Michel static inline bool gic_test_group(GICState *s, int irq, int cpu)
247*86b350f0SLuc Michel {
248*86b350f0SLuc Michel     if (gic_is_vcpu(cpu)) {
249*86b350f0SLuc Michel         uint32_t *entry = gic_get_lr_entry(s, irq, cpu);
250*86b350f0SLuc Michel         return GICH_LR_GROUP(*entry);
251*86b350f0SLuc Michel     } else {
252*86b350f0SLuc Michel         return GIC_DIST_TEST_GROUP(irq, 1 << cpu);
253*86b350f0SLuc Michel     }
254*86b350f0SLuc Michel }
255*86b350f0SLuc Michel 
gic_clear_pending(GICState * s,int irq,int cpu)256*86b350f0SLuc Michel static inline void gic_clear_pending(GICState *s, int irq, int cpu)
257*86b350f0SLuc Michel {
258*86b350f0SLuc Michel     if (gic_is_vcpu(cpu)) {
259*86b350f0SLuc Michel         uint32_t *entry = gic_get_lr_entry(s, irq, cpu);
260*86b350f0SLuc Michel         GICH_LR_CLEAR_PENDING(*entry);
261*86b350f0SLuc Michel     } else {
262*86b350f0SLuc Michel         /* Clear pending state for both level and edge triggered
263*86b350f0SLuc Michel          * interrupts. (level triggered interrupts with an active line
264*86b350f0SLuc Michel          * remain pending, see gic_test_pending)
265*86b350f0SLuc Michel          */
266*86b350f0SLuc Michel         GIC_DIST_CLEAR_PENDING(irq, GIC_DIST_TEST_MODEL(irq) ? ALL_CPU_MASK
267*86b350f0SLuc Michel                                                              : (1 << cpu));
268*86b350f0SLuc Michel     }
269*86b350f0SLuc Michel }
270*86b350f0SLuc Michel 
gic_set_active(GICState * s,int irq,int cpu)271*86b350f0SLuc Michel static inline void gic_set_active(GICState *s, int irq, int cpu)
272*86b350f0SLuc Michel {
273*86b350f0SLuc Michel     if (gic_is_vcpu(cpu)) {
274*86b350f0SLuc Michel         uint32_t *entry = gic_get_lr_entry(s, irq, cpu);
275*86b350f0SLuc Michel         GICH_LR_SET_ACTIVE(*entry);
276*86b350f0SLuc Michel     } else {
277*86b350f0SLuc Michel         GIC_DIST_SET_ACTIVE(irq, 1 << cpu);
278*86b350f0SLuc Michel     }
279*86b350f0SLuc Michel }
280*86b350f0SLuc Michel 
gic_clear_active(GICState * s,int irq,int cpu)281*86b350f0SLuc Michel static inline void gic_clear_active(GICState *s, int irq, int cpu)
282*86b350f0SLuc Michel {
283*86b350f0SLuc Michel     if (gic_is_vcpu(cpu)) {
284*86b350f0SLuc Michel         uint32_t *entry = gic_get_lr_entry(s, irq, cpu);
285*86b350f0SLuc Michel         GICH_LR_CLEAR_ACTIVE(*entry);
286*86b350f0SLuc Michel 
287*86b350f0SLuc Michel         if (GICH_LR_HW(*entry)) {
288*86b350f0SLuc Michel             /* Hardware interrupt. We must forward the deactivation request to
289*86b350f0SLuc Michel              * the distributor.
290*86b350f0SLuc Michel              */
291*86b350f0SLuc Michel             int phys_irq = GICH_LR_PHYS_ID(*entry);
292*86b350f0SLuc Michel             int rcpu = gic_get_vcpu_real_id(cpu);
293*86b350f0SLuc Michel 
294*86b350f0SLuc Michel             if (phys_irq < GIC_NR_SGIS || phys_irq >= GIC_MAXIRQ) {
295*86b350f0SLuc Michel                 /* UNPREDICTABLE behaviour, we choose to ignore the request */
296*86b350f0SLuc Michel                 return;
297*86b350f0SLuc Michel             }
298*86b350f0SLuc Michel 
299*86b350f0SLuc Michel             /* This is equivalent to a NS write to DIR on the physical CPU
300*86b350f0SLuc Michel              * interface. Hence group0 interrupt deactivation is ignored if
301*86b350f0SLuc Michel              * the GIC is secure.
302*86b350f0SLuc Michel              */
303*86b350f0SLuc Michel             if (!s->security_extn || GIC_DIST_TEST_GROUP(phys_irq, 1 << rcpu)) {
304*86b350f0SLuc Michel                 GIC_DIST_CLEAR_ACTIVE(phys_irq, 1 << rcpu);
305*86b350f0SLuc Michel             }
306*86b350f0SLuc Michel         }
307*86b350f0SLuc Michel     } else {
308*86b350f0SLuc Michel         GIC_DIST_CLEAR_ACTIVE(irq, 1 << cpu);
309*86b350f0SLuc Michel     }
310*86b350f0SLuc Michel }
311*86b350f0SLuc Michel 
gic_get_priority(GICState * s,int irq,int cpu)312*86b350f0SLuc Michel static inline int gic_get_priority(GICState *s, int irq, int cpu)
313*86b350f0SLuc Michel {
314*86b350f0SLuc Michel     if (gic_is_vcpu(cpu)) {
315*86b350f0SLuc Michel         uint32_t *entry = gic_get_lr_entry(s, irq, cpu);
316*86b350f0SLuc Michel         return GICH_LR_PRIORITY(*entry);
317*86b350f0SLuc Michel     } else {
318*86b350f0SLuc Michel         return GIC_DIST_GET_PRIORITY(irq, cpu);
319*86b350f0SLuc Michel     }
320*86b350f0SLuc Michel }
321*86b350f0SLuc Michel 
322175de524SMarkus Armbruster #endif /* QEMU_ARM_GIC_INTERNAL_H */
323