diff options
| author | John Baldwin <jhb@FreeBSD.org> | 2026-06-24 00:56:41 +0000 |
|---|---|---|
| committer | John Baldwin <jhb@FreeBSD.org> | 2026-06-24 00:56:41 +0000 |
| commit | 9522100a172466913cf6580b250101bfaa483460 (patch) | |
| tree | 68856e1ac3572767ae388f0f96996e301a4811db /sys | |
| parent | f6b37f47c09903413bd980a5ebd4c7c3e19ba8a5 (diff) | |
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/arm64/arm64/gicv5.c | 5 | ||||
| -rw-r--r-- | sys/arm64/arm64/gicv5_fdt.c | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/sys/arm64/arm64/gicv5.c b/sys/arm64/arm64/gicv5.c index f42e3c97352c..5201248e20f5 100644 --- a/sys/arm64/arm64/gicv5.c +++ b/sys/arm64/arm64/gicv5.c @@ -918,7 +918,12 @@ gicv5_intr(void *arg) KASSERT(LPI_IPI_IDX(irq) < LPI_IPI_LIMIT, ("%s: Invalid IPI LPI %u", __func__, irq)); ipi = LPI_TO_IPI(irq); +#ifdef SMP intr_ipi_dispatch(ipi); +#else + device_printf(sc->gic_dev, + "IPI LPI %u on UP system detected\n", ipi); +#endif gicv5_eoi_intr(GICv5_LPI, irq); } else { intr_child_irq_handler(sc->gic_pic, irq); diff --git a/sys/arm64/arm64/gicv5_fdt.c b/sys/arm64/arm64/gicv5_fdt.c index b8e3fd721206..265cbd833078 100644 --- a/sys/arm64/arm64/gicv5_fdt.c +++ b/sys/arm64/arm64/gicv5_fdt.c @@ -278,7 +278,9 @@ gicv5_fdt_attach(device_t dev) /* Register xref */ OF_device_register_xref(xref, dev); +#ifdef SMP intr_ipi_pic_register(dev, 0); +#endif error = intr_pic_claim_root(dev, xref, gicv5_intr, sc, INTR_ROOT_IRQ); if (error != 0) |