Home | History | Annotate | Line # | Download | only in fdt
gicv3_fdt.c revision 1.4
      1  1.4  jmcneill /* $NetBSD: gicv3_fdt.c,v 1.4 2018/11/10 01:24:06 jmcneill Exp $ */
      2  1.1  jmcneill 
      3  1.1  jmcneill /*-
      4  1.1  jmcneill  * Copyright (c) 2015-2018 Jared McNeill <jmcneill (at) invisible.ca>
      5  1.1  jmcneill  * All rights reserved.
      6  1.1  jmcneill  *
      7  1.1  jmcneill  * Redistribution and use in source and binary forms, with or without
      8  1.1  jmcneill  * modification, are permitted provided that the following conditions
      9  1.1  jmcneill  * are met:
     10  1.1  jmcneill  * 1. Redistributions of source code must retain the above copyright
     11  1.1  jmcneill  *    notice, this list of conditions and the following disclaimer.
     12  1.1  jmcneill  * 2. Redistributions in binary form must reproduce the above copyright
     13  1.1  jmcneill  *    notice, this list of conditions and the following disclaimer in the
     14  1.1  jmcneill  *    documentation and/or other materials provided with the distribution.
     15  1.1  jmcneill  *
     16  1.1  jmcneill  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
     17  1.1  jmcneill  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
     18  1.1  jmcneill  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
     19  1.1  jmcneill  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
     20  1.1  jmcneill  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
     21  1.1  jmcneill  * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
     22  1.1  jmcneill  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
     23  1.1  jmcneill  * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
     24  1.1  jmcneill  * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     25  1.1  jmcneill  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     26  1.1  jmcneill  * SUCH DAMAGE.
     27  1.1  jmcneill  */
     28  1.1  jmcneill 
     29  1.1  jmcneill #define	_INTR_PRIVATE
     30  1.1  jmcneill 
     31  1.1  jmcneill #include <sys/cdefs.h>
     32  1.4  jmcneill __KERNEL_RCSID(0, "$NetBSD: gicv3_fdt.c,v 1.4 2018/11/10 01:24:06 jmcneill Exp $");
     33  1.1  jmcneill 
     34  1.1  jmcneill #include <sys/param.h>
     35  1.1  jmcneill #include <sys/bus.h>
     36  1.1  jmcneill #include <sys/device.h>
     37  1.1  jmcneill #include <sys/intr.h>
     38  1.1  jmcneill #include <sys/systm.h>
     39  1.1  jmcneill #include <sys/kernel.h>
     40  1.1  jmcneill #include <sys/lwp.h>
     41  1.1  jmcneill #include <sys/kmem.h>
     42  1.1  jmcneill #include <sys/queue.h>
     43  1.1  jmcneill 
     44  1.1  jmcneill #include <dev/fdt/fdtvar.h>
     45  1.1  jmcneill 
     46  1.1  jmcneill #include <arm/cortex/gicv3.h>
     47  1.3  jmcneill #include <arm/cortex/gic_reg.h>
     48  1.1  jmcneill 
     49  1.1  jmcneill #define	GICV3_MAXIRQ	1020
     50  1.1  jmcneill 
     51  1.1  jmcneill #define	IRQ_PPI(n)	((n) + 16)
     52  1.1  jmcneill #define	IRQ_SPI(n)	((n) + 32)
     53  1.1  jmcneill 
     54  1.1  jmcneill struct gicv3_fdt_softc;
     55  1.1  jmcneill struct gicv3_fdt_irq;
     56  1.1  jmcneill 
     57  1.1  jmcneill static int	gicv3_fdt_match(device_t, cfdata_t, void *);
     58  1.1  jmcneill static void	gicv3_fdt_attach(device_t, device_t, void *);
     59  1.1  jmcneill 
     60  1.1  jmcneill static int	gicv3_fdt_map_registers(struct gicv3_fdt_softc *);
     61  1.1  jmcneill 
     62  1.1  jmcneill static int	gicv3_fdt_intr(void *);
     63  1.1  jmcneill 
     64  1.1  jmcneill static void *	gicv3_fdt_establish(device_t, u_int *, int, int,
     65  1.1  jmcneill 		    int (*)(void *), void *);
     66  1.1  jmcneill static void	gicv3_fdt_disestablish(device_t, void *);
     67  1.1  jmcneill static bool	gicv3_fdt_intrstr(device_t, u_int *, char *, size_t);
     68  1.1  jmcneill 
     69  1.1  jmcneill struct fdtbus_interrupt_controller_func gicv3_fdt_funcs = {
     70  1.1  jmcneill 	.establish = gicv3_fdt_establish,
     71  1.1  jmcneill 	.disestablish = gicv3_fdt_disestablish,
     72  1.1  jmcneill 	.intrstr = gicv3_fdt_intrstr
     73  1.1  jmcneill };
     74  1.1  jmcneill 
     75  1.1  jmcneill struct gicv3_fdt_irqhandler {
     76  1.1  jmcneill 	struct gicv3_fdt_irq	*ih_irq;
     77  1.1  jmcneill 	int			(*ih_fn)(void *);
     78  1.1  jmcneill 	void			*ih_arg;
     79  1.1  jmcneill 	bool			ih_mpsafe;
     80  1.1  jmcneill 	TAILQ_ENTRY(gicv3_fdt_irqhandler) ih_next;
     81  1.1  jmcneill };
     82  1.1  jmcneill 
     83  1.1  jmcneill struct gicv3_fdt_irq {
     84  1.1  jmcneill 	struct gicv3_fdt_softc	*intr_sc;
     85  1.1  jmcneill 	void			*intr_ih;
     86  1.1  jmcneill 	void			*intr_arg;
     87  1.1  jmcneill 	int			intr_refcnt;
     88  1.1  jmcneill 	int			intr_ipl;
     89  1.1  jmcneill 	int			intr_level;
     90  1.1  jmcneill 	int			intr_mpsafe;
     91  1.1  jmcneill 	TAILQ_HEAD(, gicv3_fdt_irqhandler) intr_handlers;
     92  1.1  jmcneill 	int			intr_irq;
     93  1.1  jmcneill };
     94  1.1  jmcneill 
     95  1.1  jmcneill struct gicv3_fdt_softc {
     96  1.1  jmcneill 	struct gicv3_softc	sc_gic;
     97  1.1  jmcneill 	int			sc_phandle;
     98  1.1  jmcneill 
     99  1.1  jmcneill 	struct gicv3_fdt_irq	*sc_irq[GICV3_MAXIRQ];
    100  1.1  jmcneill };
    101  1.1  jmcneill 
    102  1.1  jmcneill CFATTACH_DECL_NEW(gicv3_fdt, sizeof(struct gicv3_fdt_softc),
    103  1.1  jmcneill 	gicv3_fdt_match, gicv3_fdt_attach, NULL, NULL);
    104  1.1  jmcneill 
    105  1.1  jmcneill static int
    106  1.1  jmcneill gicv3_fdt_match(device_t parent, cfdata_t cf, void *aux)
    107  1.1  jmcneill {
    108  1.1  jmcneill 	const char * const compatible[] = {
    109  1.1  jmcneill 		"arm,gic-v3",
    110  1.1  jmcneill 		NULL
    111  1.1  jmcneill 	};
    112  1.1  jmcneill 	struct fdt_attach_args * const faa = aux;
    113  1.1  jmcneill 	const int phandle = faa->faa_phandle;
    114  1.1  jmcneill 
    115  1.1  jmcneill 	return of_match_compatible(phandle, compatible);
    116  1.1  jmcneill }
    117  1.1  jmcneill 
    118  1.1  jmcneill static void
    119  1.1  jmcneill gicv3_fdt_attach(device_t parent, device_t self, void *aux)
    120  1.1  jmcneill {
    121  1.1  jmcneill 	struct gicv3_fdt_softc * const sc = device_private(self);
    122  1.1  jmcneill 	struct fdt_attach_args * const faa = aux;
    123  1.1  jmcneill 	const int phandle = faa->faa_phandle;
    124  1.1  jmcneill 	int error;
    125  1.1  jmcneill 
    126  1.1  jmcneill 	error = fdtbus_register_interrupt_controller(self, phandle,
    127  1.1  jmcneill 	    &gicv3_fdt_funcs);
    128  1.1  jmcneill 	if (error) {
    129  1.1  jmcneill 		aprint_error(": couldn't register with fdtbus: %d\n", error);
    130  1.1  jmcneill 		return;
    131  1.1  jmcneill 	}
    132  1.1  jmcneill 
    133  1.1  jmcneill 	aprint_naive("\n");
    134  1.1  jmcneill 	aprint_normal(": GICv3\n");
    135  1.1  jmcneill 
    136  1.1  jmcneill 	sc->sc_phandle = phandle;
    137  1.1  jmcneill 	sc->sc_gic.sc_dev = self;
    138  1.1  jmcneill 	sc->sc_gic.sc_bst = faa->faa_bst;
    139  1.4  jmcneill 	sc->sc_gic.sc_dmat = faa->faa_dmat;
    140  1.1  jmcneill 
    141  1.1  jmcneill 	error = gicv3_fdt_map_registers(sc);
    142  1.1  jmcneill 	if (error) {
    143  1.1  jmcneill 		aprint_error_dev(self, "couldn't map registers\n");
    144  1.1  jmcneill 		return;
    145  1.1  jmcneill 	}
    146  1.1  jmcneill 
    147  1.2  jmcneill 	aprint_debug_dev(self, "%d redistributors\n", sc->sc_gic.sc_bsh_r_count);
    148  1.1  jmcneill 
    149  1.1  jmcneill 	error = gicv3_init(&sc->sc_gic);
    150  1.1  jmcneill 	if (error) {
    151  1.1  jmcneill 		aprint_error_dev(self, "failed to initialize GIC: %d\n", error);
    152  1.1  jmcneill 		return;
    153  1.1  jmcneill 	}
    154  1.1  jmcneill 
    155  1.1  jmcneill 	arm_fdt_irq_set_handler(gicv3_irq_handler);
    156  1.1  jmcneill }
    157  1.1  jmcneill 
    158  1.1  jmcneill static int
    159  1.1  jmcneill gicv3_fdt_map_registers(struct gicv3_fdt_softc *sc)
    160  1.1  jmcneill {
    161  1.1  jmcneill 	struct gicv3_softc *gic = &sc->sc_gic;
    162  1.1  jmcneill 	const int phandle = sc->sc_phandle;
    163  1.1  jmcneill 	u_int redistributor_regions, redistributor_stride;
    164  1.1  jmcneill 	bus_space_handle_t bsh;
    165  1.1  jmcneill 	bus_size_t size, region_off;
    166  1.1  jmcneill 	bus_addr_t addr;
    167  1.1  jmcneill 	size_t reg_off;
    168  1.3  jmcneill 	int n, r, max_redist, redist;
    169  1.1  jmcneill 
    170  1.1  jmcneill 	if (of_getprop_uint32(phandle, "#redistributor-regions", &redistributor_regions))
    171  1.1  jmcneill 		redistributor_regions = 1;
    172  1.1  jmcneill 	if (of_getprop_uint32(phandle, "redistributor-stride", &redistributor_stride))
    173  1.1  jmcneill 		redistributor_stride = 0x20000;
    174  1.1  jmcneill 
    175  1.1  jmcneill 	/*
    176  1.1  jmcneill 	 * Map GIC Distributor interface (GICD)
    177  1.1  jmcneill 	 */
    178  1.1  jmcneill 	if (fdtbus_get_reg(phandle, 0, &addr, &size) != 0) {
    179  1.1  jmcneill 		aprint_error_dev(gic->sc_dev, "couldn't get distributor registers\n");
    180  1.1  jmcneill 		return ENXIO;
    181  1.1  jmcneill 	}
    182  1.1  jmcneill 	if (bus_space_map(sc->sc_gic.sc_bst, addr, size, 0, &sc->sc_gic.sc_bsh_d) != 0) {
    183  1.1  jmcneill 		aprint_error_dev(gic->sc_dev, "couldn't map distributor registers\n");
    184  1.1  jmcneill 		return ENXIO;
    185  1.1  jmcneill 	}
    186  1.1  jmcneill 
    187  1.1  jmcneill 	/*
    188  1.1  jmcneill 	 * GIC Redistributors (GICR)
    189  1.1  jmcneill 	 */
    190  1.3  jmcneill 	for (reg_off = 1, max_redist = 0, n = 0; n < redistributor_regions; n++, reg_off++) {
    191  1.1  jmcneill 		if (fdtbus_get_reg(phandle, reg_off, NULL, &size) != 0) {
    192  1.1  jmcneill 			aprint_error_dev(gic->sc_dev, "couldn't get redistributor registers\n");
    193  1.1  jmcneill 			return ENXIO;
    194  1.1  jmcneill 		}
    195  1.3  jmcneill 		max_redist += howmany(size, redistributor_stride);
    196  1.1  jmcneill 	}
    197  1.3  jmcneill 	gic->sc_bsh_r = kmem_alloc(sizeof(bus_space_handle_t) * max_redist, KM_SLEEP);
    198  1.3  jmcneill 	for (reg_off = 1, redist = 0, n = 0; n < redistributor_regions; n++, reg_off++) {
    199  1.1  jmcneill 		if (fdtbus_get_reg(phandle, reg_off, &addr, &size) != 0) {
    200  1.1  jmcneill 			aprint_error_dev(gic->sc_dev, "couldn't get redistributor registers\n");
    201  1.1  jmcneill 			return ENXIO;
    202  1.1  jmcneill 		}
    203  1.1  jmcneill 		if (bus_space_map(sc->sc_gic.sc_bst, addr, size, 0, &bsh) != 0) {
    204  1.1  jmcneill 			aprint_error_dev(gic->sc_dev, "couldn't map redistributor registers\n");
    205  1.1  jmcneill 			return ENXIO;
    206  1.1  jmcneill 		}
    207  1.1  jmcneill 		const int count = howmany(size, redistributor_stride);
    208  1.1  jmcneill 		for (r = 0, region_off = 0; r < count; r++, region_off += redistributor_stride) {
    209  1.3  jmcneill 			if (bus_space_subregion(sc->sc_gic.sc_bst, bsh, region_off, redistributor_stride, &gic->sc_bsh_r[redist++]) != 0) {
    210  1.1  jmcneill 				aprint_error_dev(gic->sc_dev, "couldn't subregion redistributor registers\n");
    211  1.1  jmcneill 				return ENXIO;
    212  1.1  jmcneill 			}
    213  1.3  jmcneill 
    214  1.3  jmcneill 			/* If this is the last redist in this region, skip to the next one */
    215  1.3  jmcneill 			const uint32_t typer = bus_space_read_4(sc->sc_gic.sc_bst, gic->sc_bsh_r[redist - 1], GICR_TYPER);
    216  1.3  jmcneill 			if (typer & GICR_TYPER_Last)
    217  1.3  jmcneill 				break;
    218  1.1  jmcneill 		}
    219  1.1  jmcneill 	}
    220  1.3  jmcneill 	gic->sc_bsh_r_count = redist;
    221  1.1  jmcneill 
    222  1.1  jmcneill 	return 0;
    223  1.1  jmcneill }
    224  1.1  jmcneill 
    225  1.1  jmcneill static void *
    226  1.1  jmcneill gicv3_fdt_establish(device_t dev, u_int *specifier, int ipl, int flags,
    227  1.1  jmcneill     int (*func)(void *), void *arg)
    228  1.1  jmcneill {
    229  1.1  jmcneill 	struct gicv3_fdt_softc * const sc = device_private(dev);
    230  1.1  jmcneill 	struct gicv3_fdt_irq *firq;
    231  1.1  jmcneill 	struct gicv3_fdt_irqhandler *firqh;
    232  1.1  jmcneill 
    233  1.1  jmcneill 	/* 1st cell is the interrupt type; 0 is SPI, 1 is PPI */
    234  1.1  jmcneill 	/* 2nd cell is the interrupt number */
    235  1.1  jmcneill 	/* 3rd cell is flags */
    236  1.1  jmcneill 	/* 4th cell is affinity */
    237  1.1  jmcneill 
    238  1.1  jmcneill 	const u_int type = be32toh(specifier[0]);
    239  1.1  jmcneill 	const u_int intr = be32toh(specifier[1]);
    240  1.1  jmcneill 	const u_int irq = type == 0 ? IRQ_SPI(intr) : IRQ_PPI(intr);
    241  1.1  jmcneill 	const u_int trig = be32toh(specifier[2]) & 0xf;
    242  1.1  jmcneill 	const u_int level = (trig & 0x3) ? IST_EDGE : IST_LEVEL;
    243  1.1  jmcneill 
    244  1.1  jmcneill 	const u_int mpsafe = (flags & FDT_INTR_MPSAFE) ? IST_MPSAFE : 0;
    245  1.1  jmcneill 
    246  1.1  jmcneill 	firq = sc->sc_irq[irq];
    247  1.1  jmcneill 	if (firq == NULL) {
    248  1.1  jmcneill 		firq = kmem_alloc(sizeof(*firq), KM_SLEEP);
    249  1.1  jmcneill 		firq->intr_sc = sc;
    250  1.1  jmcneill 		firq->intr_refcnt = 0;
    251  1.1  jmcneill 		firq->intr_arg = arg;
    252  1.1  jmcneill 		firq->intr_ipl = ipl;
    253  1.1  jmcneill 		firq->intr_level = level;
    254  1.1  jmcneill 		firq->intr_mpsafe = mpsafe;
    255  1.1  jmcneill 		TAILQ_INIT(&firq->intr_handlers);
    256  1.1  jmcneill 		firq->intr_irq = irq;
    257  1.1  jmcneill 		if (arg == NULL) {
    258  1.1  jmcneill 			firq->intr_ih = intr_establish(irq, ipl, level | mpsafe,
    259  1.1  jmcneill 			    func, NULL);
    260  1.1  jmcneill 		} else {
    261  1.1  jmcneill 			firq->intr_ih = intr_establish(irq, ipl, level | mpsafe,
    262  1.1  jmcneill 			    gicv3_fdt_intr, firq);
    263  1.1  jmcneill 		}
    264  1.1  jmcneill 		if (firq->intr_ih == NULL) {
    265  1.1  jmcneill 			kmem_free(firq, sizeof(*firq));
    266  1.1  jmcneill 			return NULL;
    267  1.1  jmcneill 		}
    268  1.1  jmcneill 		sc->sc_irq[irq] = firq;
    269  1.1  jmcneill 	} else {
    270  1.1  jmcneill 		if (firq->intr_arg == NULL && arg != NULL) {
    271  1.1  jmcneill 			device_printf(dev, "cannot share irq with NULL arg\n");
    272  1.1  jmcneill 			return NULL;
    273  1.1  jmcneill 		}
    274  1.1  jmcneill 		if (firq->intr_ipl != ipl) {
    275  1.1  jmcneill 			device_printf(dev, "cannot share irq with different "
    276  1.1  jmcneill 			    "ipl\n");
    277  1.1  jmcneill 			return NULL;
    278  1.1  jmcneill 		}
    279  1.1  jmcneill 		if (firq->intr_level != level) {
    280  1.1  jmcneill 			device_printf(dev, "cannot share edge and level "
    281  1.1  jmcneill 			    "interrupts\n");
    282  1.1  jmcneill 			return NULL;
    283  1.1  jmcneill 		}
    284  1.1  jmcneill 		if (firq->intr_mpsafe != mpsafe) {
    285  1.1  jmcneill 			device_printf(dev, "cannot share between "
    286  1.1  jmcneill 			    "mpsafe/non-mpsafe\n");
    287  1.1  jmcneill 			return NULL;
    288  1.1  jmcneill 		}
    289  1.1  jmcneill 	}
    290  1.1  jmcneill 
    291  1.1  jmcneill 	firq->intr_refcnt++;
    292  1.1  jmcneill 
    293  1.1  jmcneill 	firqh = kmem_alloc(sizeof(*firqh), KM_SLEEP);
    294  1.1  jmcneill 	firqh->ih_mpsafe = (flags & FDT_INTR_MPSAFE) != 0;
    295  1.1  jmcneill 	firqh->ih_irq = firq;
    296  1.1  jmcneill 	firqh->ih_fn = func;
    297  1.1  jmcneill 	firqh->ih_arg = arg;
    298  1.1  jmcneill 	TAILQ_INSERT_TAIL(&firq->intr_handlers, firqh, ih_next);
    299  1.1  jmcneill 
    300  1.1  jmcneill 	return firq->intr_ih;
    301  1.1  jmcneill }
    302  1.1  jmcneill 
    303  1.1  jmcneill static void
    304  1.1  jmcneill gicv3_fdt_disestablish(device_t dev, void *ih)
    305  1.1  jmcneill {
    306  1.1  jmcneill 	struct gicv3_fdt_softc * const sc = device_private(dev);
    307  1.1  jmcneill 	struct gicv3_fdt_irqhandler *firqh;
    308  1.1  jmcneill 	struct gicv3_fdt_irq *firq;
    309  1.1  jmcneill 	u_int n;
    310  1.1  jmcneill 
    311  1.1  jmcneill 	for (n = 0; n < GICV3_MAXIRQ; n++) {
    312  1.1  jmcneill 		firq = sc->sc_irq[n];
    313  1.1  jmcneill 		if (firq->intr_ih != ih)
    314  1.1  jmcneill 			continue;
    315  1.1  jmcneill 
    316  1.1  jmcneill 		KASSERT(firq->intr_refcnt > 0);
    317  1.1  jmcneill 
    318  1.1  jmcneill 		if (firq->intr_refcnt > 1)
    319  1.1  jmcneill 			panic("%s: cannot disestablish shared irq", __func__);
    320  1.1  jmcneill 
    321  1.1  jmcneill 		firqh = TAILQ_FIRST(&firq->intr_handlers);
    322  1.1  jmcneill 		kmem_free(firqh, sizeof(*firqh));
    323  1.1  jmcneill 		intr_disestablish(firq->intr_ih);
    324  1.1  jmcneill 		kmem_free(firq, sizeof(*firq));
    325  1.1  jmcneill 		sc->sc_irq[n] = NULL;
    326  1.1  jmcneill 		return;
    327  1.1  jmcneill 	}
    328  1.1  jmcneill 
    329  1.1  jmcneill 	panic("%s: interrupt not established", __func__);
    330  1.1  jmcneill }
    331  1.1  jmcneill 
    332  1.1  jmcneill static int
    333  1.1  jmcneill gicv3_fdt_intr(void *priv)
    334  1.1  jmcneill {
    335  1.1  jmcneill 	struct gicv3_fdt_irq *firq = priv;
    336  1.1  jmcneill 	struct gicv3_fdt_irqhandler *firqh;
    337  1.1  jmcneill 	int handled = 0;
    338  1.1  jmcneill 
    339  1.1  jmcneill 	TAILQ_FOREACH(firqh, &firq->intr_handlers, ih_next)
    340  1.1  jmcneill 		handled += firqh->ih_fn(firqh->ih_arg);
    341  1.1  jmcneill 
    342  1.1  jmcneill 	return handled;
    343  1.1  jmcneill }
    344  1.1  jmcneill 
    345  1.1  jmcneill static bool
    346  1.1  jmcneill gicv3_fdt_intrstr(device_t dev, u_int *specifier, char *buf, size_t buflen)
    347  1.1  jmcneill {
    348  1.1  jmcneill 	/* 1st cell is the interrupt type; 0 is SPI, 1 is PPI */
    349  1.1  jmcneill 	/* 2nd cell is the interrupt number */
    350  1.1  jmcneill 	/* 3rd cell is flags */
    351  1.1  jmcneill 	/* 4th cell is affinity */
    352  1.1  jmcneill 
    353  1.1  jmcneill 	if (!specifier)
    354  1.1  jmcneill 		return false;
    355  1.1  jmcneill 	const u_int type = be32toh(specifier[0]);
    356  1.1  jmcneill 	const u_int intr = be32toh(specifier[1]);
    357  1.1  jmcneill 	const u_int irq = type == 0 ? IRQ_SPI(intr) : IRQ_PPI(intr);
    358  1.1  jmcneill 
    359  1.1  jmcneill 	snprintf(buf, buflen, "GICv3 irq %d", irq);
    360  1.1  jmcneill 
    361  1.1  jmcneill 	return true;
    362  1.1  jmcneill }
    363