xref: /openbmc/qemu/include/hw/intc/arm_gicv3_common.h (revision e6459afb1ff4d86b361b14f4a2fc43f0d2b4d679)
1ff8f06eeSShlomo Pongratz /*
2ff8f06eeSShlomo Pongratz  * ARM GIC support
3ff8f06eeSShlomo Pongratz  *
4ff8f06eeSShlomo Pongratz  * Copyright (c) 2012 Linaro Limited
5ff8f06eeSShlomo Pongratz  * Copyright (c) 2015 Huawei.
607e2034dSPavel Fedin  * Copyright (c) 2015 Samsung Electronics Co., Ltd.
7ff8f06eeSShlomo Pongratz  * Written by Peter Maydell
807e2034dSPavel Fedin  * Reworked for GICv3 by Shlomo Pongratz and Pavel Fedin
9ff8f06eeSShlomo Pongratz  *
10ff8f06eeSShlomo Pongratz  * This program is free software; you can redistribute it and/or modify
11ff8f06eeSShlomo Pongratz  * it under the terms of the GNU General Public License as published by
12ff8f06eeSShlomo Pongratz  * the Free Software Foundation, either version 2 of the License, or
13ff8f06eeSShlomo Pongratz  * (at your option) any later version.
14ff8f06eeSShlomo Pongratz  *
15ff8f06eeSShlomo Pongratz  * This program is distributed in the hope that it will be useful,
16ff8f06eeSShlomo Pongratz  * but WITHOUT ANY WARRANTY; without even the implied warranty of
17ff8f06eeSShlomo Pongratz  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
18ff8f06eeSShlomo Pongratz  * GNU General Public License for more details.
19ff8f06eeSShlomo Pongratz  *
20ff8f06eeSShlomo Pongratz  * You should have received a copy of the GNU General Public License along
21ff8f06eeSShlomo Pongratz  * with this program; if not, see <http://www.gnu.org/licenses/>.
22ff8f06eeSShlomo Pongratz  */
23ff8f06eeSShlomo Pongratz 
24ff8f06eeSShlomo Pongratz #ifndef HW_ARM_GICV3_COMMON_H
25ff8f06eeSShlomo Pongratz #define HW_ARM_GICV3_COMMON_H
26ff8f06eeSShlomo Pongratz 
27ff8f06eeSShlomo Pongratz #include "hw/sysbus.h"
28ff8f06eeSShlomo Pongratz #include "hw/intc/arm_gic_common.h"
29db1015e9SEduardo Habkost #include "qom/object.h"
30ff8f06eeSShlomo Pongratz 
3107e2034dSPavel Fedin /*
3207e2034dSPavel Fedin  * Maximum number of possible interrupts, determined by the GIC architecture.
3307e2034dSPavel Fedin  * Note that this does not include LPIs. When implemented, these should be
3407e2034dSPavel Fedin  * dealt with separately.
3507e2034dSPavel Fedin  */
3607e2034dSPavel Fedin #define GICV3_MAXIRQ 1020
3707e2034dSPavel Fedin #define GICV3_MAXSPI (GICV3_MAXIRQ - GIC_INTERNAL)
3807e2034dSPavel Fedin 
39c694cb4cSShashi Mallela #define GICV3_LPI_INTID_START 8192
40c694cb4cSShashi Mallela 
41ae3b3ba1SPeter Maydell /*
42ae3b3ba1SPeter Maydell  * The redistributor in GICv3 has two 64KB frames per CPU; in
43ae3b3ba1SPeter Maydell  * GICv4 it has four 64KB frames per CPU.
44ae3b3ba1SPeter Maydell  */
451e575b66SEric Auger #define GICV3_REDIST_SIZE 0x20000
46ae3b3ba1SPeter Maydell #define GICV4_REDIST_SIZE 0x40000
471e575b66SEric Auger 
48c8efd802SAndrew Jones /* Number of SGI target-list bits */
49c8efd802SAndrew Jones #define GICV3_TARGETLIST_BITS 16
50c8efd802SAndrew Jones 
514eb833b5SPeter Maydell /* Maximum number of list registers (architectural limit) */
524eb833b5SPeter Maydell #define GICV3_LR_MAX 16
534eb833b5SPeter Maydell 
54*e05ebbd6SPeter Maydell /*
55*e05ebbd6SPeter Maydell  * For some distributor fields we want to model the array of 32-bit
5607e2034dSPavel Fedin  * register values which hold various bitmaps corresponding to enabled,
57*e05ebbd6SPeter Maydell  * pending, etc bits. We use the set_bit32() etc family of functions
58*e05ebbd6SPeter Maydell  * from bitops.h for this. For a few cases we need to implement some
59*e05ebbd6SPeter Maydell  * extra operations.
60*e05ebbd6SPeter Maydell  *
6107e2034dSPavel Fedin  * Each bitmap contains a bit for each interrupt. Although there is
6207e2034dSPavel Fedin  * space for the PPIs and SGIs, those bits (the first 32) are never
6307e2034dSPavel Fedin  * used as that state lives in the redistributor. The unused bits are
6407e2034dSPavel Fedin  * provided purely so that interrupt X's state is always in bit X; this
6507e2034dSPavel Fedin  * avoids bugs where we forget to subtract GIC_INTERNAL from an
6607e2034dSPavel Fedin  * interrupt number.
6707e2034dSPavel Fedin  */
68*e05ebbd6SPeter Maydell #define GIC_DECLARE_BITMAP(name) DECLARE_BITMAP32(name, GICV3_MAXIRQ)
69*e05ebbd6SPeter Maydell #define GICV3_BMP_SIZE BITS_TO_U32S(GICV3_MAXIRQ)
7007e2034dSPavel Fedin 
gic_bmp_replace_bit(int nr,uint32_t * addr,int val)7107e2034dSPavel Fedin static inline void gic_bmp_replace_bit(int nr, uint32_t *addr, int val)
7207e2034dSPavel Fedin {
73*e05ebbd6SPeter Maydell     uint32_t mask = BIT32_MASK(nr);
74*e05ebbd6SPeter Maydell     uint32_t *p = addr + BIT32_WORD(nr);
7507e2034dSPavel Fedin 
7607e2034dSPavel Fedin     *p &= ~mask;
7707e2034dSPavel Fedin     *p |= (val & 1U) << (nr % 32);
7807e2034dSPavel Fedin }
7907e2034dSPavel Fedin 
8007e2034dSPavel Fedin /* Return a pointer to the 32-bit word containing the specified bit. */
gic_bmp_ptr32(uint32_t * addr,int nr)8107e2034dSPavel Fedin static inline uint32_t *gic_bmp_ptr32(uint32_t *addr, int nr)
8207e2034dSPavel Fedin {
83*e05ebbd6SPeter Maydell     return addr + BIT32_WORD(nr);
8407e2034dSPavel Fedin }
8507e2034dSPavel Fedin 
8607e2034dSPavel Fedin typedef struct GICv3State GICv3State;
8707e2034dSPavel Fedin typedef struct GICv3CPUState GICv3CPUState;
8807e2034dSPavel Fedin 
8907e2034dSPavel Fedin /* Some CPU interface registers come in three flavours:
9007e2034dSPavel Fedin  * Group0, Group1 (Secure) and Group1 (NonSecure)
9107e2034dSPavel Fedin  * (where the latter two are exposed as a single banked system register).
9207e2034dSPavel Fedin  * In the state struct they are implemented as a 3-element array which
9307e2034dSPavel Fedin  * can be indexed into by the GICV3_G0, GICV3_G1 and GICV3_G1NS constants.
9407e2034dSPavel Fedin  * If the CPU doesn't support EL3 then the G1 element is unused.
9507e2034dSPavel Fedin  *
9607e2034dSPavel Fedin  * These constants are also used to communicate the group to use for
9707e2034dSPavel Fedin  * an interrupt or SGI when it is passed between the cpu interface and
9807e2034dSPavel Fedin  * the redistributor or distributor. For those purposes the receiving end
9907e2034dSPavel Fedin  * must be prepared to cope with a Group 1 Secure interrupt even if it does
10007e2034dSPavel Fedin  * not have security support enabled, because security can be disabled
10107e2034dSPavel Fedin  * independently in the CPU and in the GIC. In that case the receiver should
10207e2034dSPavel Fedin  * treat an incoming Group 1 Secure interrupt as if it were Group 0.
10307e2034dSPavel Fedin  * (This architectural requirement is why the _G1 element is the unused one
10407e2034dSPavel Fedin  * in a no-EL3 CPU:  we would otherwise have to translate back and forth
10507e2034dSPavel Fedin  * between (G0, G1NS) from the distributor and (G0, G1) in the CPU i/f.)
10607e2034dSPavel Fedin  */
10707e2034dSPavel Fedin #define GICV3_G0 0
10807e2034dSPavel Fedin #define GICV3_G1 1
10907e2034dSPavel Fedin #define GICV3_G1NS 2
11007e2034dSPavel Fedin 
11107e2034dSPavel Fedin /* ICC_CTLR_EL1, GICD_STATUSR and GICR_STATUSR are banked but not
11207e2034dSPavel Fedin  * group-related, so those indices are just 0 for S and 1 for NS.
11307e2034dSPavel Fedin  * (If the CPU or the GIC, respectively, don't support the Security
11407e2034dSPavel Fedin  * extensions then the S element is unused.)
11507e2034dSPavel Fedin  */
11607e2034dSPavel Fedin #define GICV3_S 0
11707e2034dSPavel Fedin #define GICV3_NS 1
11807e2034dSPavel Fedin 
119ce187c3cSPeter Maydell typedef struct {
120ce187c3cSPeter Maydell     int irq;
121ce187c3cSPeter Maydell     uint8_t prio;
122ce187c3cSPeter Maydell     int grp;
1230e9f4e8eSJinjie Ruan     bool nmi;
124ce187c3cSPeter Maydell } PendingIrq;
125ce187c3cSPeter Maydell 
12607e2034dSPavel Fedin struct GICv3CPUState {
12707e2034dSPavel Fedin     GICv3State *gic;
12807e2034dSPavel Fedin     CPUState *cpu;
1293faf2b0cSPeter Maydell     qemu_irq parent_irq;
1303faf2b0cSPeter Maydell     qemu_irq parent_fiq;
131b53db42bSPeter Maydell     qemu_irq parent_virq;
132b53db42bSPeter Maydell     qemu_irq parent_vfiq;
13383f32075SJinjie Ruan     qemu_irq parent_nmi;
13483f32075SJinjie Ruan     qemu_irq parent_vnmi;
13507e2034dSPavel Fedin 
13607e2034dSPavel Fedin     /* Redistributor */
13707e2034dSPavel Fedin     uint32_t level;                  /* Current IRQ level */
13807e2034dSPavel Fedin     /* RD_base page registers */
13907e2034dSPavel Fedin     uint32_t gicr_ctlr;
14007e2034dSPavel Fedin     uint64_t gicr_typer;
14107e2034dSPavel Fedin     uint32_t gicr_statusr[2];
14207e2034dSPavel Fedin     uint32_t gicr_waker;
14307e2034dSPavel Fedin     uint64_t gicr_propbaser;
14407e2034dSPavel Fedin     uint64_t gicr_pendbaser;
14507e2034dSPavel Fedin     /* SGI_base page registers */
14607e2034dSPavel Fedin     uint32_t gicr_igroupr0;
14707e2034dSPavel Fedin     uint32_t gicr_ienabler0;
14807e2034dSPavel Fedin     uint32_t gicr_ipendr0;
14907e2034dSPavel Fedin     uint32_t gicr_iactiver0;
1500e9f4e8eSJinjie Ruan     uint32_t gicr_inmir0;
15107e2034dSPavel Fedin     uint32_t edge_trigger; /* ICFGR0 and ICFGR1 even bits */
15207e2034dSPavel Fedin     uint32_t gicr_igrpmodr0;
15307e2034dSPavel Fedin     uint32_t gicr_nsacr;
15407e2034dSPavel Fedin     uint8_t gicr_ipriorityr[GIC_INTERNAL];
155641be697SPeter Maydell     /* VLPI_base page registers */
156641be697SPeter Maydell     uint64_t gicr_vpropbaser;
157641be697SPeter Maydell     uint64_t gicr_vpendbaser;
15807e2034dSPavel Fedin 
15907e2034dSPavel Fedin     /* CPU interface */
1606692aac4SVijaya Kumar K     uint64_t icc_sre_el1;
16107e2034dSPavel Fedin     uint64_t icc_ctlr_el1[2];
16207e2034dSPavel Fedin     uint64_t icc_pmr_el1;
16307e2034dSPavel Fedin     uint64_t icc_bpr[3];
16407e2034dSPavel Fedin     uint64_t icc_apr[3][4];
16507e2034dSPavel Fedin     uint64_t icc_igrpen[3];
16607e2034dSPavel Fedin     uint64_t icc_ctlr_el3;
167ce187c3cSPeter Maydell 
1684eb833b5SPeter Maydell     /* Virtualization control interface */
1694eb833b5SPeter Maydell     uint64_t ich_apr[3][4]; /* ich_apr[GICV3_G1][x] never used */
1704eb833b5SPeter Maydell     uint64_t ich_hcr_el2;
1714eb833b5SPeter Maydell     uint64_t ich_lr_el2[GICV3_LR_MAX];
1724eb833b5SPeter Maydell     uint64_t ich_vmcr_el2;
1734eb833b5SPeter Maydell 
1744eb833b5SPeter Maydell     /* Properties of the CPU interface. These are initialized from
1754eb833b5SPeter Maydell      * the settings in the CPU proper.
1764eb833b5SPeter Maydell      * If the number of implemented list registers is 0 then the
1774eb833b5SPeter Maydell      * virtualization support is not implemented.
1784eb833b5SPeter Maydell      */
1794eb833b5SPeter Maydell     int num_list_regs;
1804eb833b5SPeter Maydell     int vpribits; /* number of virtual priority bits */
1814eb833b5SPeter Maydell     int vprebits; /* number of virtual preemption bits */
18284597ff3SPeter Maydell     int pribits; /* number of physical priority bits */
18384597ff3SPeter Maydell     int prebits; /* number of physical preemption bits */
1844eb833b5SPeter Maydell 
185ce187c3cSPeter Maydell     /* Current highest priority pending interrupt for this CPU.
186ce187c3cSPeter Maydell      * This is cached information that can be recalculated from the
187ce187c3cSPeter Maydell      * real state above; it doesn't need to be migrated.
188ce187c3cSPeter Maydell      */
189ce187c3cSPeter Maydell     PendingIrq hppi;
19017fb5e36SShashi Mallela 
19117fb5e36SShashi Mallela     /*
19217fb5e36SShashi Mallela      * Cached information recalculated from LPI tables
19317fb5e36SShashi Mallela      * in guest memory
19417fb5e36SShashi Mallela      */
19517fb5e36SShashi Mallela     PendingIrq hpplpi;
19617fb5e36SShashi Mallela 
197c3f21b06SPeter Maydell     /* Cached information recalculated from vLPI tables in guest memory */
198c3f21b06SPeter Maydell     PendingIrq hppvlpi;
199c3f21b06SPeter Maydell 
200ce187c3cSPeter Maydell     /* This is temporary working state, to avoid a malloc in gicv3_update() */
201ce187c3cSPeter Maydell     bool seenbetter;
20228cca59cSPeter Maydell 
20328cca59cSPeter Maydell     /*
20428cca59cSPeter Maydell      * Whether the CPU interface has NMI support (FEAT_GICv3_NMI). The
20528cca59cSPeter Maydell      * CPU interface may support NMIs even when the GIC proper (what the
20628cca59cSPeter Maydell      * spec calls the IRI; the redistributors and distributor) does not.
20728cca59cSPeter Maydell      */
20828cca59cSPeter Maydell     bool nmi_support;
20907e2034dSPavel Fedin };
21007e2034dSPavel Fedin 
211e5cba10eSPeter Maydell /*
212e5cba10eSPeter Maydell  * The redistributor pages might be split into more than one region
213e5cba10eSPeter Maydell  * on some machine types if there are many CPUs.
214e5cba10eSPeter Maydell  */
215e5cba10eSPeter Maydell typedef struct GICv3RedistRegion {
216e5cba10eSPeter Maydell     GICv3State *gic;
217e5cba10eSPeter Maydell     MemoryRegion iomem;
218e5cba10eSPeter Maydell     uint32_t cpuidx; /* index of first CPU this region covers */
219e5cba10eSPeter Maydell } GICv3RedistRegion;
220e5cba10eSPeter Maydell 
22107e2034dSPavel Fedin struct GICv3State {
222ff8f06eeSShlomo Pongratz     /*< private >*/
223ff8f06eeSShlomo Pongratz     SysBusDevice parent_obj;
224ff8f06eeSShlomo Pongratz     /*< public >*/
225ff8f06eeSShlomo Pongratz 
226ff8f06eeSShlomo Pongratz     MemoryRegion iomem_dist; /* Distributor */
227e5cba10eSPeter Maydell     GICv3RedistRegion *redist_regions; /* Redistributor Regions */
2281e575b66SEric Auger     uint32_t *redist_region_count; /* redistributor count within each region */
2291e575b66SEric Auger     uint32_t nb_redist_regions; /* number of redist regions */
230ff8f06eeSShlomo Pongratz 
231ff8f06eeSShlomo Pongratz     uint32_t num_cpu;
232ff8f06eeSShlomo Pongratz     uint32_t num_irq;
233ff8f06eeSShlomo Pongratz     uint32_t revision;
234ac30dec3SShashi Mallela     bool lpi_enable;
235c9e86cbdSJinjie Ruan     bool nmi_support;
236ff8f06eeSShlomo Pongratz     bool security_extn;
23739f29e59SPeter Maydell     bool force_8bit_prio;
23807e2034dSPavel Fedin     bool irq_reset_nonsecure;
239910e2048SShannon Zhao     bool gicd_no_migration_shift_bug;
240ff8f06eeSShlomo Pongratz 
241ff8f06eeSShlomo Pongratz     int dev_fd; /* kvm device fd if backed by kvm vgic support */
24207e2034dSPavel Fedin     Error *migration_blocker;
24307e2034dSPavel Fedin 
2441b08e436SShashi Mallela     MemoryRegion *dma;
2451b08e436SShashi Mallela     AddressSpace dma_as;
2461b08e436SShashi Mallela 
24707e2034dSPavel Fedin     /* Distributor */
24807e2034dSPavel Fedin 
24907e2034dSPavel Fedin     /* for a GIC with the security extensions the NS banked version of this
25007e2034dSPavel Fedin      * register is just an alias of bit 1 of the S banked version.
25107e2034dSPavel Fedin      */
25207e2034dSPavel Fedin     uint32_t gicd_ctlr;
25307e2034dSPavel Fedin     uint32_t gicd_statusr[2];
25407e2034dSPavel Fedin     GIC_DECLARE_BITMAP(group);        /* GICD_IGROUPR */
25507e2034dSPavel Fedin     GIC_DECLARE_BITMAP(grpmod);       /* GICD_IGRPMODR */
25607e2034dSPavel Fedin     GIC_DECLARE_BITMAP(enabled);      /* GICD_ISENABLER */
25707e2034dSPavel Fedin     GIC_DECLARE_BITMAP(pending);      /* GICD_ISPENDR */
25807e2034dSPavel Fedin     GIC_DECLARE_BITMAP(active);       /* GICD_ISACTIVER */
25907e2034dSPavel Fedin     GIC_DECLARE_BITMAP(level);        /* Current level */
26007e2034dSPavel Fedin     GIC_DECLARE_BITMAP(edge_trigger); /* GICD_ICFGR even bits */
2610e9f4e8eSJinjie Ruan     GIC_DECLARE_BITMAP(nmi);          /* GICD_INMIR */
26207e2034dSPavel Fedin     uint8_t gicd_ipriority[GICV3_MAXIRQ];
26307e2034dSPavel Fedin     uint64_t gicd_irouter[GICV3_MAXIRQ];
264ce187c3cSPeter Maydell     /* Cached information: pointer to the cpu i/f for the CPUs specified
265ce187c3cSPeter Maydell      * in the IROUTER registers
266ce187c3cSPeter Maydell      */
267ce187c3cSPeter Maydell     GICv3CPUState *gicd_irouter_target[GICV3_MAXIRQ];
26807e2034dSPavel Fedin     uint32_t gicd_nsacr[DIV_ROUND_UP(GICV3_MAXIRQ, 16)];
26907e2034dSPavel Fedin 
27007e2034dSPavel Fedin     GICv3CPUState *cpu;
2717c087bd3SPeter Maydell     /* List of all ITSes connected to this GIC */
2727c087bd3SPeter Maydell     GPtrArray *itslist;
27307e2034dSPavel Fedin };
27407e2034dSPavel Fedin 
27507e2034dSPavel Fedin #define GICV3_BITMAP_ACCESSORS(BMP)                                     \
27607e2034dSPavel Fedin     static inline void gicv3_gicd_##BMP##_set(GICv3State *s, int irq)   \
27707e2034dSPavel Fedin     {                                                                   \
278*e05ebbd6SPeter Maydell         set_bit32(irq, s->BMP);                                         \
27907e2034dSPavel Fedin     }                                                                   \
28007e2034dSPavel Fedin     static inline int gicv3_gicd_##BMP##_test(GICv3State *s, int irq)   \
28107e2034dSPavel Fedin     {                                                                   \
282*e05ebbd6SPeter Maydell         return test_bit32(irq, s->BMP);                                 \
28307e2034dSPavel Fedin     }                                                                   \
28407e2034dSPavel Fedin     static inline void gicv3_gicd_##BMP##_clear(GICv3State *s, int irq) \
28507e2034dSPavel Fedin     {                                                                   \
286*e05ebbd6SPeter Maydell         clear_bit32(irq, s->BMP);                                       \
28707e2034dSPavel Fedin     }                                                                   \
28807e2034dSPavel Fedin     static inline void gicv3_gicd_##BMP##_replace(GICv3State *s,        \
28907e2034dSPavel Fedin                                                   int irq, int value)   \
29007e2034dSPavel Fedin     {                                                                   \
29107e2034dSPavel Fedin         gic_bmp_replace_bit(irq, s->BMP, value);                        \
29207e2034dSPavel Fedin     }
29307e2034dSPavel Fedin 
29407e2034dSPavel Fedin GICV3_BITMAP_ACCESSORS(group)
29507e2034dSPavel Fedin GICV3_BITMAP_ACCESSORS(grpmod)
29607e2034dSPavel Fedin GICV3_BITMAP_ACCESSORS(enabled)
29707e2034dSPavel Fedin GICV3_BITMAP_ACCESSORS(pending)
29807e2034dSPavel Fedin GICV3_BITMAP_ACCESSORS(active)
29907e2034dSPavel Fedin GICV3_BITMAP_ACCESSORS(level)
30007e2034dSPavel Fedin GICV3_BITMAP_ACCESSORS(edge_trigger)
3010e9f4e8eSJinjie Ruan GICV3_BITMAP_ACCESSORS(nmi)
302ff8f06eeSShlomo Pongratz 
303ff8f06eeSShlomo Pongratz #define TYPE_ARM_GICV3_COMMON "arm-gicv3-common"
304db1015e9SEduardo Habkost typedef struct ARMGICv3CommonClass ARMGICv3CommonClass;
3058110fa1dSEduardo Habkost DECLARE_OBJ_CHECKERS(GICv3State, ARMGICv3CommonClass,
3068110fa1dSEduardo Habkost                      ARM_GICV3_COMMON, TYPE_ARM_GICV3_COMMON)
307ff8f06eeSShlomo Pongratz 
308db1015e9SEduardo Habkost struct ARMGICv3CommonClass {
309ff8f06eeSShlomo Pongratz     /*< private >*/
310ff8f06eeSShlomo Pongratz     SysBusDeviceClass parent_class;
311ff8f06eeSShlomo Pongratz     /*< public >*/
312ff8f06eeSShlomo Pongratz 
313ff8f06eeSShlomo Pongratz     void (*pre_save)(GICv3State *s);
314ff8f06eeSShlomo Pongratz     void (*post_load)(GICv3State *s);
315db1015e9SEduardo Habkost };
316ff8f06eeSShlomo Pongratz 
317ff8f06eeSShlomo Pongratz void gicv3_init_irqs_and_mmio(GICv3State *s, qemu_irq_handler handler,
31801b5ab8cSPeter Maydell                               const MemoryRegionOps *ops);
319ff8f06eeSShlomo Pongratz 
3200c40daf0SPhilippe Mathieu-Daudé /**
3210c40daf0SPhilippe Mathieu-Daudé  * gicv3_class_name
3220c40daf0SPhilippe Mathieu-Daudé  *
3230c40daf0SPhilippe Mathieu-Daudé  * Return name of GICv3 class to use depending on whether KVM acceleration is
3240c40daf0SPhilippe Mathieu-Daudé  * in use. May throw an error if the chosen implementation is not available.
3250c40daf0SPhilippe Mathieu-Daudé  *
3260c40daf0SPhilippe Mathieu-Daudé  * Returns: class name to use
3270c40daf0SPhilippe Mathieu-Daudé  */
3280c40daf0SPhilippe Mathieu-Daudé const char *gicv3_class_name(void);
3290c40daf0SPhilippe Mathieu-Daudé 
330ff8f06eeSShlomo Pongratz #endif
331