gicv3_fdt.c revision 1.6 1 1.6 jakllsch /* $NetBSD: gicv3_fdt.c,v 1.6 2018/11/24 22:18:57 jakllsch 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.6 jakllsch #include "pci.h"
30 1.6 jakllsch
31 1.1 jmcneill #define _INTR_PRIVATE
32 1.1 jmcneill
33 1.1 jmcneill #include <sys/cdefs.h>
34 1.6 jakllsch __KERNEL_RCSID(0, "$NetBSD: gicv3_fdt.c,v 1.6 2018/11/24 22:18:57 jakllsch Exp $");
35 1.1 jmcneill
36 1.1 jmcneill #include <sys/param.h>
37 1.1 jmcneill #include <sys/bus.h>
38 1.1 jmcneill #include <sys/device.h>
39 1.1 jmcneill #include <sys/intr.h>
40 1.1 jmcneill #include <sys/systm.h>
41 1.1 jmcneill #include <sys/kernel.h>
42 1.1 jmcneill #include <sys/lwp.h>
43 1.1 jmcneill #include <sys/kmem.h>
44 1.1 jmcneill #include <sys/queue.h>
45 1.1 jmcneill
46 1.1 jmcneill #include <dev/fdt/fdtvar.h>
47 1.1 jmcneill
48 1.1 jmcneill #include <arm/cortex/gicv3.h>
49 1.6 jakllsch #include <arm/cortex/gicv3_its.h>
50 1.3 jmcneill #include <arm/cortex/gic_reg.h>
51 1.1 jmcneill
52 1.1 jmcneill #define GICV3_MAXIRQ 1020
53 1.1 jmcneill
54 1.1 jmcneill #define IRQ_PPI(n) ((n) + 16)
55 1.1 jmcneill #define IRQ_SPI(n) ((n) + 32)
56 1.1 jmcneill
57 1.1 jmcneill struct gicv3_fdt_softc;
58 1.1 jmcneill struct gicv3_fdt_irq;
59 1.1 jmcneill
60 1.1 jmcneill static int gicv3_fdt_match(device_t, cfdata_t, void *);
61 1.1 jmcneill static void gicv3_fdt_attach(device_t, device_t, void *);
62 1.1 jmcneill
63 1.1 jmcneill static int gicv3_fdt_map_registers(struct gicv3_fdt_softc *);
64 1.6 jakllsch #if NPCI > 0
65 1.6 jakllsch static void gicv3_fdt_attach_its(struct gicv3_fdt_softc *, bus_space_tag_t, int);
66 1.6 jakllsch #endif
67 1.1 jmcneill
68 1.1 jmcneill static int gicv3_fdt_intr(void *);
69 1.1 jmcneill
70 1.1 jmcneill static void * gicv3_fdt_establish(device_t, u_int *, int, int,
71 1.1 jmcneill int (*)(void *), void *);
72 1.1 jmcneill static void gicv3_fdt_disestablish(device_t, void *);
73 1.1 jmcneill static bool gicv3_fdt_intrstr(device_t, u_int *, char *, size_t);
74 1.1 jmcneill
75 1.1 jmcneill struct fdtbus_interrupt_controller_func gicv3_fdt_funcs = {
76 1.1 jmcneill .establish = gicv3_fdt_establish,
77 1.1 jmcneill .disestablish = gicv3_fdt_disestablish,
78 1.1 jmcneill .intrstr = gicv3_fdt_intrstr
79 1.1 jmcneill };
80 1.1 jmcneill
81 1.1 jmcneill struct gicv3_fdt_irqhandler {
82 1.1 jmcneill struct gicv3_fdt_irq *ih_irq;
83 1.1 jmcneill int (*ih_fn)(void *);
84 1.1 jmcneill void *ih_arg;
85 1.1 jmcneill bool ih_mpsafe;
86 1.1 jmcneill TAILQ_ENTRY(gicv3_fdt_irqhandler) ih_next;
87 1.1 jmcneill };
88 1.1 jmcneill
89 1.1 jmcneill struct gicv3_fdt_irq {
90 1.1 jmcneill struct gicv3_fdt_softc *intr_sc;
91 1.1 jmcneill void *intr_ih;
92 1.1 jmcneill void *intr_arg;
93 1.1 jmcneill int intr_refcnt;
94 1.1 jmcneill int intr_ipl;
95 1.1 jmcneill int intr_level;
96 1.1 jmcneill int intr_mpsafe;
97 1.1 jmcneill TAILQ_HEAD(, gicv3_fdt_irqhandler) intr_handlers;
98 1.1 jmcneill int intr_irq;
99 1.1 jmcneill };
100 1.1 jmcneill
101 1.1 jmcneill struct gicv3_fdt_softc {
102 1.1 jmcneill struct gicv3_softc sc_gic;
103 1.1 jmcneill int sc_phandle;
104 1.1 jmcneill
105 1.1 jmcneill struct gicv3_fdt_irq *sc_irq[GICV3_MAXIRQ];
106 1.1 jmcneill };
107 1.1 jmcneill
108 1.1 jmcneill CFATTACH_DECL_NEW(gicv3_fdt, sizeof(struct gicv3_fdt_softc),
109 1.1 jmcneill gicv3_fdt_match, gicv3_fdt_attach, NULL, NULL);
110 1.1 jmcneill
111 1.1 jmcneill static int
112 1.1 jmcneill gicv3_fdt_match(device_t parent, cfdata_t cf, void *aux)
113 1.1 jmcneill {
114 1.1 jmcneill const char * const compatible[] = {
115 1.1 jmcneill "arm,gic-v3",
116 1.1 jmcneill NULL
117 1.1 jmcneill };
118 1.1 jmcneill struct fdt_attach_args * const faa = aux;
119 1.1 jmcneill const int phandle = faa->faa_phandle;
120 1.1 jmcneill
121 1.1 jmcneill return of_match_compatible(phandle, compatible);
122 1.1 jmcneill }
123 1.1 jmcneill
124 1.1 jmcneill static void
125 1.1 jmcneill gicv3_fdt_attach(device_t parent, device_t self, void *aux)
126 1.1 jmcneill {
127 1.1 jmcneill struct gicv3_fdt_softc * const sc = device_private(self);
128 1.1 jmcneill struct fdt_attach_args * const faa = aux;
129 1.1 jmcneill const int phandle = faa->faa_phandle;
130 1.1 jmcneill int error;
131 1.1 jmcneill
132 1.1 jmcneill error = fdtbus_register_interrupt_controller(self, phandle,
133 1.1 jmcneill &gicv3_fdt_funcs);
134 1.1 jmcneill if (error) {
135 1.1 jmcneill aprint_error(": couldn't register with fdtbus: %d\n", error);
136 1.1 jmcneill return;
137 1.1 jmcneill }
138 1.1 jmcneill
139 1.1 jmcneill aprint_naive("\n");
140 1.1 jmcneill aprint_normal(": GICv3\n");
141 1.1 jmcneill
142 1.1 jmcneill sc->sc_phandle = phandle;
143 1.1 jmcneill sc->sc_gic.sc_dev = self;
144 1.1 jmcneill sc->sc_gic.sc_bst = faa->faa_bst;
145 1.4 jmcneill sc->sc_gic.sc_dmat = faa->faa_dmat;
146 1.1 jmcneill
147 1.1 jmcneill error = gicv3_fdt_map_registers(sc);
148 1.1 jmcneill if (error) {
149 1.1 jmcneill aprint_error_dev(self, "couldn't map registers\n");
150 1.1 jmcneill return;
151 1.1 jmcneill }
152 1.1 jmcneill
153 1.2 jmcneill aprint_debug_dev(self, "%d redistributors\n", sc->sc_gic.sc_bsh_r_count);
154 1.1 jmcneill
155 1.1 jmcneill error = gicv3_init(&sc->sc_gic);
156 1.1 jmcneill if (error) {
157 1.1 jmcneill aprint_error_dev(self, "failed to initialize GIC: %d\n", error);
158 1.1 jmcneill return;
159 1.1 jmcneill }
160 1.1 jmcneill
161 1.6 jakllsch #if NPCI > 0
162 1.6 jakllsch for (int child = OF_child(phandle); child; child = OF_peer(child)) {
163 1.6 jakllsch if (!fdtbus_status_okay(child))
164 1.6 jakllsch continue;
165 1.6 jakllsch const char * const its_compat[] = { "arm,gic-v3-its", NULL };
166 1.6 jakllsch if (of_match_compatible(child, its_compat))
167 1.6 jakllsch gicv3_fdt_attach_its(sc, faa->faa_bst, child);
168 1.6 jakllsch }
169 1.6 jakllsch #endif
170 1.6 jakllsch
171 1.1 jmcneill arm_fdt_irq_set_handler(gicv3_irq_handler);
172 1.1 jmcneill }
173 1.1 jmcneill
174 1.1 jmcneill static int
175 1.1 jmcneill gicv3_fdt_map_registers(struct gicv3_fdt_softc *sc)
176 1.1 jmcneill {
177 1.1 jmcneill struct gicv3_softc *gic = &sc->sc_gic;
178 1.1 jmcneill const int phandle = sc->sc_phandle;
179 1.1 jmcneill u_int redistributor_regions, redistributor_stride;
180 1.1 jmcneill bus_space_handle_t bsh;
181 1.1 jmcneill bus_size_t size, region_off;
182 1.1 jmcneill bus_addr_t addr;
183 1.1 jmcneill size_t reg_off;
184 1.3 jmcneill int n, r, max_redist, redist;
185 1.1 jmcneill
186 1.1 jmcneill if (of_getprop_uint32(phandle, "#redistributor-regions", &redistributor_regions))
187 1.1 jmcneill redistributor_regions = 1;
188 1.1 jmcneill if (of_getprop_uint32(phandle, "redistributor-stride", &redistributor_stride))
189 1.1 jmcneill redistributor_stride = 0x20000;
190 1.1 jmcneill
191 1.1 jmcneill /*
192 1.1 jmcneill * Map GIC Distributor interface (GICD)
193 1.1 jmcneill */
194 1.1 jmcneill if (fdtbus_get_reg(phandle, 0, &addr, &size) != 0) {
195 1.1 jmcneill aprint_error_dev(gic->sc_dev, "couldn't get distributor registers\n");
196 1.1 jmcneill return ENXIO;
197 1.1 jmcneill }
198 1.1 jmcneill if (bus_space_map(sc->sc_gic.sc_bst, addr, size, 0, &sc->sc_gic.sc_bsh_d) != 0) {
199 1.1 jmcneill aprint_error_dev(gic->sc_dev, "couldn't map distributor registers\n");
200 1.1 jmcneill return ENXIO;
201 1.1 jmcneill }
202 1.1 jmcneill
203 1.1 jmcneill /*
204 1.1 jmcneill * GIC Redistributors (GICR)
205 1.1 jmcneill */
206 1.3 jmcneill for (reg_off = 1, max_redist = 0, n = 0; n < redistributor_regions; n++, reg_off++) {
207 1.1 jmcneill if (fdtbus_get_reg(phandle, reg_off, NULL, &size) != 0) {
208 1.1 jmcneill aprint_error_dev(gic->sc_dev, "couldn't get redistributor registers\n");
209 1.1 jmcneill return ENXIO;
210 1.1 jmcneill }
211 1.3 jmcneill max_redist += howmany(size, redistributor_stride);
212 1.1 jmcneill }
213 1.3 jmcneill gic->sc_bsh_r = kmem_alloc(sizeof(bus_space_handle_t) * max_redist, KM_SLEEP);
214 1.3 jmcneill for (reg_off = 1, redist = 0, n = 0; n < redistributor_regions; n++, reg_off++) {
215 1.1 jmcneill if (fdtbus_get_reg(phandle, reg_off, &addr, &size) != 0) {
216 1.1 jmcneill aprint_error_dev(gic->sc_dev, "couldn't get redistributor registers\n");
217 1.1 jmcneill return ENXIO;
218 1.1 jmcneill }
219 1.1 jmcneill if (bus_space_map(sc->sc_gic.sc_bst, addr, size, 0, &bsh) != 0) {
220 1.1 jmcneill aprint_error_dev(gic->sc_dev, "couldn't map redistributor registers\n");
221 1.1 jmcneill return ENXIO;
222 1.1 jmcneill }
223 1.1 jmcneill const int count = howmany(size, redistributor_stride);
224 1.1 jmcneill for (r = 0, region_off = 0; r < count; r++, region_off += redistributor_stride) {
225 1.3 jmcneill if (bus_space_subregion(sc->sc_gic.sc_bst, bsh, region_off, redistributor_stride, &gic->sc_bsh_r[redist++]) != 0) {
226 1.1 jmcneill aprint_error_dev(gic->sc_dev, "couldn't subregion redistributor registers\n");
227 1.1 jmcneill return ENXIO;
228 1.1 jmcneill }
229 1.3 jmcneill
230 1.3 jmcneill /* If this is the last redist in this region, skip to the next one */
231 1.3 jmcneill const uint32_t typer = bus_space_read_4(sc->sc_gic.sc_bst, gic->sc_bsh_r[redist - 1], GICR_TYPER);
232 1.3 jmcneill if (typer & GICR_TYPER_Last)
233 1.3 jmcneill break;
234 1.1 jmcneill }
235 1.1 jmcneill }
236 1.3 jmcneill gic->sc_bsh_r_count = redist;
237 1.1 jmcneill
238 1.1 jmcneill return 0;
239 1.1 jmcneill }
240 1.1 jmcneill
241 1.6 jakllsch #if NPCI > 0
242 1.6 jakllsch static void
243 1.6 jakllsch gicv3_fdt_attach_its(struct gicv3_fdt_softc *sc, bus_space_tag_t bst, int phandle)
244 1.6 jakllsch {
245 1.6 jakllsch bus_space_handle_t bsh;
246 1.6 jakllsch bus_addr_t addr;
247 1.6 jakllsch bus_size_t size;
248 1.6 jakllsch
249 1.6 jakllsch if (fdtbus_get_reg(phandle, 0, &addr, &size) != 0) {
250 1.6 jakllsch aprint_error_dev(sc->sc_gic.sc_dev, "couldn't get ITS address\n");
251 1.6 jakllsch return;
252 1.6 jakllsch }
253 1.6 jakllsch
254 1.6 jakllsch if (bus_space_map(bst, addr, size, 0, &bsh) != 0) {
255 1.6 jakllsch aprint_error_dev(sc->sc_gic.sc_dev, "couldn't map ITS\n");
256 1.6 jakllsch return;
257 1.6 jakllsch }
258 1.6 jakllsch
259 1.6 jakllsch gicv3_its_init(&sc->sc_gic, bsh, addr, 0);
260 1.6 jakllsch
261 1.6 jakllsch aprint_verbose_dev(sc->sc_gic.sc_dev, "ITS @ %#" PRIxBUSADDR "\n",
262 1.6 jakllsch addr);
263 1.6 jakllsch }
264 1.6 jakllsch #endif
265 1.6 jakllsch
266 1.1 jmcneill static void *
267 1.1 jmcneill gicv3_fdt_establish(device_t dev, u_int *specifier, int ipl, int flags,
268 1.1 jmcneill int (*func)(void *), void *arg)
269 1.1 jmcneill {
270 1.1 jmcneill struct gicv3_fdt_softc * const sc = device_private(dev);
271 1.1 jmcneill struct gicv3_fdt_irq *firq;
272 1.1 jmcneill struct gicv3_fdt_irqhandler *firqh;
273 1.1 jmcneill
274 1.1 jmcneill /* 1st cell is the interrupt type; 0 is SPI, 1 is PPI */
275 1.1 jmcneill /* 2nd cell is the interrupt number */
276 1.1 jmcneill /* 3rd cell is flags */
277 1.1 jmcneill /* 4th cell is affinity */
278 1.1 jmcneill
279 1.1 jmcneill const u_int type = be32toh(specifier[0]);
280 1.1 jmcneill const u_int intr = be32toh(specifier[1]);
281 1.1 jmcneill const u_int irq = type == 0 ? IRQ_SPI(intr) : IRQ_PPI(intr);
282 1.1 jmcneill const u_int trig = be32toh(specifier[2]) & 0xf;
283 1.1 jmcneill const u_int level = (trig & 0x3) ? IST_EDGE : IST_LEVEL;
284 1.1 jmcneill
285 1.1 jmcneill const u_int mpsafe = (flags & FDT_INTR_MPSAFE) ? IST_MPSAFE : 0;
286 1.1 jmcneill
287 1.1 jmcneill firq = sc->sc_irq[irq];
288 1.1 jmcneill if (firq == NULL) {
289 1.1 jmcneill firq = kmem_alloc(sizeof(*firq), KM_SLEEP);
290 1.1 jmcneill firq->intr_sc = sc;
291 1.1 jmcneill firq->intr_refcnt = 0;
292 1.1 jmcneill firq->intr_arg = arg;
293 1.1 jmcneill firq->intr_ipl = ipl;
294 1.1 jmcneill firq->intr_level = level;
295 1.1 jmcneill firq->intr_mpsafe = mpsafe;
296 1.1 jmcneill TAILQ_INIT(&firq->intr_handlers);
297 1.1 jmcneill firq->intr_irq = irq;
298 1.1 jmcneill if (arg == NULL) {
299 1.1 jmcneill firq->intr_ih = intr_establish(irq, ipl, level | mpsafe,
300 1.1 jmcneill func, NULL);
301 1.1 jmcneill } else {
302 1.1 jmcneill firq->intr_ih = intr_establish(irq, ipl, level | mpsafe,
303 1.1 jmcneill gicv3_fdt_intr, firq);
304 1.1 jmcneill }
305 1.1 jmcneill if (firq->intr_ih == NULL) {
306 1.1 jmcneill kmem_free(firq, sizeof(*firq));
307 1.1 jmcneill return NULL;
308 1.1 jmcneill }
309 1.1 jmcneill sc->sc_irq[irq] = firq;
310 1.1 jmcneill } else {
311 1.1 jmcneill if (firq->intr_arg == NULL && arg != NULL) {
312 1.1 jmcneill device_printf(dev, "cannot share irq with NULL arg\n");
313 1.1 jmcneill return NULL;
314 1.1 jmcneill }
315 1.1 jmcneill if (firq->intr_ipl != ipl) {
316 1.1 jmcneill device_printf(dev, "cannot share irq with different "
317 1.1 jmcneill "ipl\n");
318 1.1 jmcneill return NULL;
319 1.1 jmcneill }
320 1.1 jmcneill if (firq->intr_level != level) {
321 1.1 jmcneill device_printf(dev, "cannot share edge and level "
322 1.1 jmcneill "interrupts\n");
323 1.1 jmcneill return NULL;
324 1.1 jmcneill }
325 1.1 jmcneill if (firq->intr_mpsafe != mpsafe) {
326 1.1 jmcneill device_printf(dev, "cannot share between "
327 1.1 jmcneill "mpsafe/non-mpsafe\n");
328 1.1 jmcneill return NULL;
329 1.1 jmcneill }
330 1.1 jmcneill }
331 1.1 jmcneill
332 1.1 jmcneill firq->intr_refcnt++;
333 1.1 jmcneill
334 1.1 jmcneill firqh = kmem_alloc(sizeof(*firqh), KM_SLEEP);
335 1.1 jmcneill firqh->ih_mpsafe = (flags & FDT_INTR_MPSAFE) != 0;
336 1.1 jmcneill firqh->ih_irq = firq;
337 1.1 jmcneill firqh->ih_fn = func;
338 1.1 jmcneill firqh->ih_arg = arg;
339 1.1 jmcneill TAILQ_INSERT_TAIL(&firq->intr_handlers, firqh, ih_next);
340 1.1 jmcneill
341 1.1 jmcneill return firq->intr_ih;
342 1.1 jmcneill }
343 1.1 jmcneill
344 1.1 jmcneill static void
345 1.1 jmcneill gicv3_fdt_disestablish(device_t dev, void *ih)
346 1.1 jmcneill {
347 1.1 jmcneill struct gicv3_fdt_softc * const sc = device_private(dev);
348 1.1 jmcneill struct gicv3_fdt_irqhandler *firqh;
349 1.1 jmcneill struct gicv3_fdt_irq *firq;
350 1.1 jmcneill u_int n;
351 1.1 jmcneill
352 1.1 jmcneill for (n = 0; n < GICV3_MAXIRQ; n++) {
353 1.1 jmcneill firq = sc->sc_irq[n];
354 1.5 jakllsch if (firq == NULL || firq->intr_ih != ih)
355 1.1 jmcneill continue;
356 1.1 jmcneill
357 1.1 jmcneill KASSERT(firq->intr_refcnt > 0);
358 1.1 jmcneill
359 1.1 jmcneill if (firq->intr_refcnt > 1)
360 1.1 jmcneill panic("%s: cannot disestablish shared irq", __func__);
361 1.1 jmcneill
362 1.1 jmcneill firqh = TAILQ_FIRST(&firq->intr_handlers);
363 1.1 jmcneill kmem_free(firqh, sizeof(*firqh));
364 1.1 jmcneill intr_disestablish(firq->intr_ih);
365 1.1 jmcneill kmem_free(firq, sizeof(*firq));
366 1.1 jmcneill sc->sc_irq[n] = NULL;
367 1.1 jmcneill return;
368 1.1 jmcneill }
369 1.1 jmcneill
370 1.1 jmcneill panic("%s: interrupt not established", __func__);
371 1.1 jmcneill }
372 1.1 jmcneill
373 1.1 jmcneill static int
374 1.1 jmcneill gicv3_fdt_intr(void *priv)
375 1.1 jmcneill {
376 1.1 jmcneill struct gicv3_fdt_irq *firq = priv;
377 1.1 jmcneill struct gicv3_fdt_irqhandler *firqh;
378 1.1 jmcneill int handled = 0;
379 1.1 jmcneill
380 1.1 jmcneill TAILQ_FOREACH(firqh, &firq->intr_handlers, ih_next)
381 1.1 jmcneill handled += firqh->ih_fn(firqh->ih_arg);
382 1.1 jmcneill
383 1.1 jmcneill return handled;
384 1.1 jmcneill }
385 1.1 jmcneill
386 1.1 jmcneill static bool
387 1.1 jmcneill gicv3_fdt_intrstr(device_t dev, u_int *specifier, char *buf, size_t buflen)
388 1.1 jmcneill {
389 1.1 jmcneill /* 1st cell is the interrupt type; 0 is SPI, 1 is PPI */
390 1.1 jmcneill /* 2nd cell is the interrupt number */
391 1.1 jmcneill /* 3rd cell is flags */
392 1.1 jmcneill /* 4th cell is affinity */
393 1.1 jmcneill
394 1.1 jmcneill if (!specifier)
395 1.1 jmcneill return false;
396 1.1 jmcneill const u_int type = be32toh(specifier[0]);
397 1.1 jmcneill const u_int intr = be32toh(specifier[1]);
398 1.1 jmcneill const u_int irq = type == 0 ? IRQ_SPI(intr) : IRQ_PPI(intr);
399 1.1 jmcneill
400 1.1 jmcneill snprintf(buf, buflen, "GICv3 irq %d", irq);
401 1.1 jmcneill
402 1.1 jmcneill return true;
403 1.1 jmcneill }
404