| 1456 | } |
| 1457 | |
| 1458 | static int |
| 1459 | gic_v3_map_msi(device_t dev, device_t child, struct intr_irqsrc *isrc, |
| 1460 | uint64_t *addr, uint32_t *data) |
| 1461 | { |
| 1462 | struct gic_v3_softc *sc = device_get_softc(dev); |
| 1463 | struct gic_v3_irqsrc *gi = (struct gic_v3_irqsrc *)isrc; |
| 1464 | |
| 1465 | #define GICD_SETSPI_NSR 0x40 |
| 1466 | *addr = vtophys(rman_get_virtual(sc->gic_dist)) + GICD_SETSPI_NSR; |
| 1467 | *data = gi->gi_irq; |
| 1468 | |
| 1469 | return (0); |
| 1470 | } |
nothing calls this directly
no test coverage detected